1 - // MIR for `main` before ConstProp
2 + // MIR for `main` after ConstProp
5 let mut _0: (); // return place in scope 0 at $DIR/mutable_variable_aggregate.rs:4:11: 4:11
6 let mut _1: (i32, i32); // in scope 0 at $DIR/mutable_variable_aggregate.rs:5:9: 5:14
8 debug x => _1; // in scope 1 at $DIR/mutable_variable_aggregate.rs:5:9: 5:14
9 let _2: (i32, i32); // in scope 1 at $DIR/mutable_variable_aggregate.rs:7:9: 7:10
11 debug y => _2; // in scope 2 at $DIR/mutable_variable_aggregate.rs:7:9: 7:10
16 StorageLive(_1); // scope 0 at $DIR/mutable_variable_aggregate.rs:5:9: 5:14
17 _1 = (const 42i32, const 43i32); // scope 0 at $DIR/mutable_variable_aggregate.rs:5:17: 5:25
20 // + val: Value(Scalar(0x0000002a))
22 - // + span: $DIR/mutable_variable_aggregate.rs:5:18: 5:20
23 + // + span: $DIR/mutable_variable_aggregate.rs:5:17: 5:25
24 // + literal: Const { ty: i32, val: Value(Scalar(0x0000002a)) }
27 // + val: Value(Scalar(0x0000002b))
29 - // + span: $DIR/mutable_variable_aggregate.rs:5:22: 5:24
30 + // + span: $DIR/mutable_variable_aggregate.rs:5:17: 5:25
31 // + literal: Const { ty: i32, val: Value(Scalar(0x0000002b)) }
32 (_1.1: i32) = const 99i32; // scope 1 at $DIR/mutable_variable_aggregate.rs:6:5: 6:13
35 // + val: Value(Scalar(0x00000063))
37 // + span: $DIR/mutable_variable_aggregate.rs:6:11: 6:13
38 // + literal: Const { ty: i32, val: Value(Scalar(0x00000063)) }
39 StorageLive(_2); // scope 1 at $DIR/mutable_variable_aggregate.rs:7:9: 7:10
40 - _2 = _1; // scope 1 at $DIR/mutable_variable_aggregate.rs:7:13: 7:14
41 + _2 = (const 42i32, const 99i32); // scope 1 at $DIR/mutable_variable_aggregate.rs:7:13: 7:14
44 + // + val: Value(Scalar(0x0000002a))
46 + // + span: $DIR/mutable_variable_aggregate.rs:7:13: 7:14
47 + // + literal: Const { ty: i32, val: Value(Scalar(0x0000002a)) }
50 + // + val: Value(Scalar(0x00000063))
52 + // + span: $DIR/mutable_variable_aggregate.rs:7:13: 7:14
53 + // + literal: Const { ty: i32, val: Value(Scalar(0x00000063)) }
54 _0 = const (); // scope 0 at $DIR/mutable_variable_aggregate.rs:4:11: 8:2
57 // + val: Value(Scalar(<ZST>))
59 // + span: $DIR/mutable_variable_aggregate.rs:4:11: 8:2
60 // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
61 StorageDead(_2); // scope 1 at $DIR/mutable_variable_aggregate.rs:8:1: 8:2
62 StorageDead(_1); // scope 0 at $DIR/mutable_variable_aggregate.rs:8:1: 8:2
63 return; // scope 0 at $DIR/mutable_variable_aggregate.rs:8:2: 8:2