1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
// MIR for `f` after CopyProp fn f(_1: usize) -> usize { debug a => _1; let mut _0: usize; let _2: usize; let mut _3: usize; let mut _4: usize; scope 1 { debug b => _2; } bb0: { _2 = _1; _1 = const 5_usize; _1 = _2; StorageLive(_4); _4 = _1; _0 = id::<usize>(move _4) -> [return: bb1, unwind continue]; } bb1: { StorageDead(_4); return; } }