1 - // MIR for `main` before ConstProp
2 + // MIR for `main` after ConstProp
5 let mut _0: (); // return place in scope 0 at $DIR/issue-66971.rs:+0:11: +0:11
6 let _1: (); // in scope 0 at $DIR/issue-66971.rs:+1:5: +1:23
7 let mut _2: ((), u8, u8); // in scope 0 at $DIR/issue-66971.rs:+1:12: +1:22
8 let mut _3: (); // in scope 0 at $DIR/issue-66971.rs:+1:13: +1:15
11 StorageLive(_1); // scope 0 at $DIR/issue-66971.rs:+1:5: +1:23
12 StorageLive(_2); // scope 0 at $DIR/issue-66971.rs:+1:12: +1:22
13 StorageLive(_3); // scope 0 at $DIR/issue-66971.rs:+1:13: +1:15
14 nop; // scope 0 at $DIR/issue-66971.rs:+1:13: +1:15
15 Deinit(_2); // scope 0 at $DIR/issue-66971.rs:+1:12: +1:22
16 nop; // scope 0 at $DIR/issue-66971.rs:+1:12: +1:22
17 (_2.1: u8) = const 0_u8; // scope 0 at $DIR/issue-66971.rs:+1:12: +1:22
18 (_2.2: u8) = const 0_u8; // scope 0 at $DIR/issue-66971.rs:+1:12: +1:22
19 StorageDead(_3); // scope 0 at $DIR/issue-66971.rs:+1:21: +1:22
20 _1 = encode(move _2) -> bb1; // scope 0 at $DIR/issue-66971.rs:+1:5: +1:23
22 // + span: $DIR/issue-66971.rs:16:5: 16:11
23 // + literal: Const { ty: fn(((), u8, u8)) {encode}, val: Value(<ZST>) }
27 StorageDead(_2); // scope 0 at $DIR/issue-66971.rs:+1:22: +1:23
28 StorageDead(_1); // scope 0 at $DIR/issue-66971.rs:+1:23: +1:24
29 nop; // scope 0 at $DIR/issue-66971.rs:+0:11: +2:2
30 return; // scope 0 at $DIR/issue-66971.rs:+2:2: +2:2