- // MIR for `test` before ConstProp + // MIR for `test` after ConstProp fn test(_1: i32) -> i32 { debug x => _1; // in scope 0 at $DIR/mult_by_zero.rs:4:9: 4:10 let mut _0: i32; // return place in scope 0 at $DIR/mult_by_zero.rs:4:21: 4:24 let mut _2: i32; // in scope 0 at $DIR/mult_by_zero.rs:5:3: 5:4 bb0: { StorageLive(_2); // scope 0 at $DIR/mult_by_zero.rs:5:3: 5:4 _2 = _1; // scope 0 at $DIR/mult_by_zero.rs:5:3: 5:4 - _0 = Mul(move _2, const 0_i32); // scope 0 at $DIR/mult_by_zero.rs:5:3: 5:8 + _0 = const 0_i32; // scope 0 at $DIR/mult_by_zero.rs:5:3: 5:8 StorageDead(_2); // scope 0 at $DIR/mult_by_zero.rs:5:7: 5:8 return; // scope 0 at $DIR/mult_by_zero.rs:6:2: 6:2 } }