| - // 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; | |
| } | |
| } | |