//@compile-flags: -Zmiri-disable-isolation | |
use std::env; | |
fn main() { | |
env::remove_var("HOME"); // make sure we enter the interesting codepath | |
env::remove_var("USERPROFILE"); // Windows also looks as this env var | |
#[allow(deprecated)] | |
env::home_dir().unwrap(); | |
} |