1 - // MIR for `main` before Inline
2 + // MIR for `main` after Inline
5 let mut _0: (); // return place in scope 0 at $DIR/exponential_runtime.rs:+0:11: +0:11
6 let _1: (); // in scope 0 at $DIR/exponential_runtime.rs:+1:5: +1:22
7 + scope 1 (inlined <() as G>::call) { // at $DIR/exponential_runtime.rs:86:5: 86:22
8 + let _2: (); // in scope 1 at $DIR/exponential_runtime.rs:73:9: 73:25
9 + let _3: (); // in scope 1 at $DIR/exponential_runtime.rs:74:9: 74:25
10 + let _4: (); // in scope 1 at $DIR/exponential_runtime.rs:75:9: 75:25
11 + scope 2 (inlined <() as F>::call) { // at $DIR/exponential_runtime.rs:73:9: 73:25
12 + let _5: (); // in scope 2 at $DIR/exponential_runtime.rs:61:9: 61:25
13 + let _6: (); // in scope 2 at $DIR/exponential_runtime.rs:62:9: 62:25
14 + let _7: (); // in scope 2 at $DIR/exponential_runtime.rs:63:9: 63:25
19 StorageLive(_1); // scope 0 at $DIR/exponential_runtime.rs:+1:5: +1:22
20 - _1 = <() as G>::call() -> bb1; // scope 0 at $DIR/exponential_runtime.rs:+1:5: +1:22
21 + StorageLive(_2); // scope 1 at $DIR/exponential_runtime.rs:73:9: 73:25
22 + StorageLive(_5); // scope 2 at $DIR/exponential_runtime.rs:61:9: 61:25
23 + _5 = <() as E>::call() -> bb3; // scope 2 at $DIR/exponential_runtime.rs:61:9: 61:25
25 - // + span: $DIR/exponential_runtime.rs:86:5: 86:20
26 - // + literal: Const { ty: fn() {<() as G>::call}, val: Value(<ZST>) }
27 + // + span: $DIR/exponential_runtime.rs:61:9: 61:23
28 + // + literal: Const { ty: fn() {<() as E>::call}, val: Value(<ZST>) }
32 + StorageDead(_3); // scope 1 at $DIR/exponential_runtime.rs:74:25: 74:26
33 + StorageLive(_4); // scope 1 at $DIR/exponential_runtime.rs:75:9: 75:25
34 + _4 = <() as F>::call() -> bb2; // scope 1 at $DIR/exponential_runtime.rs:75:9: 75:25
36 + // + span: $DIR/exponential_runtime.rs:75:9: 75:23
37 + // + literal: Const { ty: fn() {<() as F>::call}, val: Value(<ZST>) }
41 + StorageDead(_4); // scope 1 at $DIR/exponential_runtime.rs:75:25: 75:26
42 StorageDead(_1); // scope 0 at $DIR/exponential_runtime.rs:+1:22: +1:23
43 _0 = const (); // scope 0 at $DIR/exponential_runtime.rs:+0:11: +2:2
44 return; // scope 0 at $DIR/exponential_runtime.rs:+2:2: +2:2
48 + StorageDead(_5); // scope 2 at $DIR/exponential_runtime.rs:61:25: 61:26
49 + StorageLive(_6); // scope 2 at $DIR/exponential_runtime.rs:62:9: 62:25
50 + _6 = <() as E>::call() -> bb4; // scope 2 at $DIR/exponential_runtime.rs:62:9: 62:25
52 + // + span: $DIR/exponential_runtime.rs:62:9: 62:23
53 + // + literal: Const { ty: fn() {<() as E>::call}, val: Value(<ZST>) }
57 + StorageDead(_6); // scope 2 at $DIR/exponential_runtime.rs:62:25: 62:26
58 + StorageLive(_7); // scope 2 at $DIR/exponential_runtime.rs:63:9: 63:25
59 + _7 = <() as E>::call() -> bb5; // scope 2 at $DIR/exponential_runtime.rs:63:9: 63:25
61 + // + span: $DIR/exponential_runtime.rs:63:9: 63:23
62 + // + literal: Const { ty: fn() {<() as E>::call}, val: Value(<ZST>) }
66 + StorageDead(_7); // scope 2 at $DIR/exponential_runtime.rs:63:25: 63:26
67 + StorageDead(_2); // scope 1 at $DIR/exponential_runtime.rs:73:25: 73:26
68 + StorageLive(_3); // scope 1 at $DIR/exponential_runtime.rs:74:9: 74:25
69 + _3 = <() as F>::call() -> bb1; // scope 1 at $DIR/exponential_runtime.rs:74:9: 74:25
71 + // + span: $DIR/exponential_runtime.rs:74:9: 74:23
72 + // + literal: Const { ty: fn() {<() as F>::call}, val: Value(<ZST>) }