| - // MIR for `nrvo` before CopyProp | |
| + // MIR for `nrvo` after CopyProp | |
| fn nrvo() -> u8 { | |
| let mut _0: u8; | |
| let _1: u8; | |
| scope 1 { | |
| - debug y => _1; | |
| + debug y => _0; | |
| } | |
| bb0: { | |
| - StorageLive(_1); | |
| - _1 = dummy(const 5_u8) -> [return: bb1, unwind continue]; | |
| + _0 = dummy(const 5_u8) -> [return: bb1, unwind continue]; | |
| } | |
| bb1: { | |
| - _0 = copy _1; | |
| - StorageDead(_1); | |
| return; | |
| } | |
| } | |