Bug: assertion failed: x.index() < self.len()

[antoyo]

Code snippet to reproduce the bug:

use same_file::is_same_file;

fn main() {
    println!("{:?}", is_same_file("a", "a"));
}

[package]
name = "charon-test2"
version = "0.1.0"
edition = "2024"

[dependencies]
same-file = "1.0.6"

Charon version: c84b66a

Charon command: charon cargo --extract-opaque-bodies

Charon output:

logs.txt

Any other steps needed to reproduce: n/a

Explain the bug: Charon should not panic

[Nadrieril]

Minimized:

use std::io::IoSlice;

pub fn foo(bufs: &mut &mut [IoSlice<'_>]) {
    IoSlice::advance_slices(bufs, 0);
}