- // MIR for `baz` before CopyPropagation + // MIR for `baz` after CopyPropagation fn baz(_1: i32) -> () { debug x => _1; // in scope 0 at $DIR/copy_propagation_arg.rs:21:8: 21:13 let mut _0: (); // return place in scope 0 at $DIR/copy_propagation_arg.rs:21:20: 21:20 let mut _2: i32; // in scope 0 at $DIR/copy_propagation_arg.rs:23:9: 23:10 bb0: { StorageLive(_2); // scope 0 at $DIR/copy_propagation_arg.rs:23:9: 23:10 _2 = _1; // scope 0 at $DIR/copy_propagation_arg.rs:23:9: 23:10 _1 = move _2; // scope 0 at $DIR/copy_propagation_arg.rs:23:5: 23:10 StorageDead(_2); // scope 0 at $DIR/copy_propagation_arg.rs:23:9: 23:10 _0 = const (); // scope 0 at $DIR/copy_propagation_arg.rs:21:20: 24:2 // ty::Const // + ty: () // + val: Value(Scalar()) // mir::Constant // + span: $DIR/copy_propagation_arg.rs:21:20: 24:2 // + literal: Const { ty: (), val: Value(Scalar()) } return; // scope 0 at $DIR/copy_propagation_arg.rs:24:2: 24:2 } }