1 // MIR for `main` after ElaborateDrops
4 let mut _0: (); // return place in scope 0 at $DIR/issue-41110.rs:7:11: 7:11
5 let _1: (); // in scope 0 at $DIR/issue-41110.rs:8:9: 8:10
6 let mut _2: S; // in scope 0 at $DIR/issue-41110.rs:8:13: 8:14
7 let mut _3: S; // in scope 0 at $DIR/issue-41110.rs:8:21: 8:27
8 let mut _4: S; // in scope 0 at $DIR/issue-41110.rs:8:21: 8:22
9 let mut _5: bool; // in scope 0 at $DIR/issue-41110.rs:8:27: 8:28
11 debug x => _1; // in scope 1 at $DIR/issue-41110.rs:8:9: 8:10
15 _5 = const false; // scope 0 at $DIR/issue-41110.rs:8:9: 8:10
16 StorageLive(_1); // scope 0 at $DIR/issue-41110.rs:8:9: 8:10
17 StorageLive(_2); // scope 0 at $DIR/issue-41110.rs:8:13: 8:14
18 _5 = const true; // scope 0 at $DIR/issue-41110.rs:8:13: 8:14
19 _2 = S; // scope 0 at $DIR/issue-41110.rs:8:13: 8:14
20 StorageLive(_3); // scope 0 at $DIR/issue-41110.rs:8:21: 8:27
21 StorageLive(_4); // scope 0 at $DIR/issue-41110.rs:8:21: 8:22
22 _4 = S; // scope 0 at $DIR/issue-41110.rs:8:21: 8:22
23 _3 = S::id(move _4) -> [return: bb1, unwind: bb4]; // scope 0 at $DIR/issue-41110.rs:8:21: 8:27
25 // + span: $DIR/issue-41110.rs:8:23: 8:25
26 // + literal: Const { ty: fn(S) -> S {S::id}, val: Value(Scalar(<ZST>)) }
30 StorageDead(_4); // scope 0 at $DIR/issue-41110.rs:8:26: 8:27
31 _5 = const false; // scope 0 at $DIR/issue-41110.rs:8:13: 8:28
32 _1 = S::other(move _2, move _3) -> [return: bb2, unwind: bb3]; // scope 0 at $DIR/issue-41110.rs:8:13: 8:28
34 // + span: $DIR/issue-41110.rs:8:15: 8:20
35 // + literal: Const { ty: fn(S, S) {S::other}, val: Value(Scalar(<ZST>)) }
39 StorageDead(_3); // scope 0 at $DIR/issue-41110.rs:8:27: 8:28
40 _5 = const false; // scope 0 at $DIR/issue-41110.rs:8:27: 8:28
41 StorageDead(_2); // scope 0 at $DIR/issue-41110.rs:8:27: 8:28
42 _0 = const (); // scope 0 at $DIR/issue-41110.rs:7:11: 9:2
43 StorageDead(_1); // scope 0 at $DIR/issue-41110.rs:9:1: 9:2
44 return; // scope 0 at $DIR/issue-41110.rs:9:2: 9:2
48 goto -> bb5; // scope 0 at $DIR/issue-41110.rs:8:27: 8:28
52 goto -> bb5; // scope 0 at $DIR/issue-41110.rs:8:26: 8:27
56 goto -> bb8; // scope 0 at $DIR/issue-41110.rs:8:27: 8:28
60 resume; // scope 0 at $DIR/issue-41110.rs:7:1: 9:2
64 drop(_2) -> bb6; // scope 0 at $DIR/issue-41110.rs:8:27: 8:28
68 switchInt(_5) -> [false: bb6, otherwise: bb7]; // scope 0 at $DIR/issue-41110.rs:8:27: 8:28