src/tools/miri/tests/pass/open_a_file_in_proc.rs

//@compile-flags: -Zmiri-disable-isolation
//@only-target: linux android illumos
//@ignore-host: windows

fn main() {
    let _ = match std::fs::File::open("/proc/doesnotexist ") {
        Ok(_f) => {}
        Err(_msg) => {}
    };
    ();
}