blob: f96be62712945df8974991fa34c6d857dbe62eb0 [file] [log] [blame]
- // MIR for `f` before CopyProp
+ // MIR for `f` after CopyProp
fn f(_1: bool) -> bool {
let mut _0: bool;
let mut _2: bool;
let mut _3: *const bool;
let mut _4: *mut bool;
bb0: {
_2 = copy _1;
_3 = &raw const _2;
_4 = &raw mut (*_3);
(*_4) = const false;
_0 = copy _1;
return;
}
}