1 - // MIR for `main` before ConstProp
2 + // MIR for `main` after ConstProp
5 let mut _0: (); // return place in scope 0 at $DIR/cast.rs:3:11: 3:11
6 let _1: u32; // in scope 0 at $DIR/cast.rs:4:9: 4:10
8 debug x => _1; // in scope 1 at $DIR/cast.rs:4:9: 4:10
9 let _2: u8; // in scope 1 at $DIR/cast.rs:6:9: 6:10
11 debug y => _2; // in scope 2 at $DIR/cast.rs:6:9: 6:10
16 StorageLive(_1); // bb0[0]: scope 0 at $DIR/cast.rs:4:9: 4:10
17 - _1 = const 42u8 as u32 (Misc); // bb0[1]: scope 0 at $DIR/cast.rs:4:13: 4:24
18 + _1 = const 42u32; // bb0[1]: scope 0 at $DIR/cast.rs:4:13: 4:24
21 - // + val: Value(Scalar(0x2a))
23 - // + span: $DIR/cast.rs:4:13: 4:17
24 - // + literal: Const { ty: u8, val: Value(Scalar(0x2a)) }
25 - StorageLive(_2); // bb0[2]: scope 1 at $DIR/cast.rs:6:9: 6:10
26 - _2 = const 42u32 as u8 (Misc); // bb0[3]: scope 1 at $DIR/cast.rs:6:13: 6:24
29 // + val: Value(Scalar(0x0000002a))
31 - // + span: $DIR/cast.rs:6:13: 6:18
32 + // + span: $DIR/cast.rs:4:13: 4:24
33 // + literal: Const { ty: u32, val: Value(Scalar(0x0000002a)) }
34 + StorageLive(_2); // bb0[2]: scope 1 at $DIR/cast.rs:6:9: 6:10
35 + _2 = const 42u8; // bb0[3]: scope 1 at $DIR/cast.rs:6:13: 6:24
38 + // + val: Value(Scalar(0x2a))
40 + // + span: $DIR/cast.rs:6:13: 6:24
41 + // + literal: Const { ty: u8, val: Value(Scalar(0x2a)) }
42 _0 = const (); // bb0[4]: scope 0 at $DIR/cast.rs:3:11: 7:2
45 // + val: Value(Scalar(<ZST>))
47 // + span: $DIR/cast.rs:3:11: 7:2
48 // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
49 StorageDead(_2); // bb0[5]: scope 1 at $DIR/cast.rs:7:1: 7:2
50 StorageDead(_1); // bb0[6]: scope 0 at $DIR/cast.rs:7:1: 7:2
51 return; // bb0[7]: scope 0 at $DIR/cast.rs:7:2: 7:2