rust/src/test/ui/borrowck/borrowck-storage-dead.rs

// compile-flags: -Z borrowck=compare

fn ok() {
    loop {
        let _x = 1;
    }
}

fn also_ok() {
    loop {
        let _x = String::new();
    }
}

fn fail() {
    loop {
        let x: i32;
        let _ = x + 1; //~ERROR (Ast) [E0381]
                       //~^ ERROR (Mir) [E0381]
    }
}

fn main() {
    ok();
    also_ok();
    fail();
}