src/tools/miri/tests/fail/shims/fs/isolated_file.rs


1
2
3
4
5
6

//@ignore-target: windows # File handling is not implemented yet
//@error-in-other-file: `open` not available when isolation is enabled

fn main() {
    let _file = std::fs::File::open("file.txt").unwrap();
}