1 - // MIR for `main` before Inline
2 + // MIR for `main` after Inline
5 let mut _0: (); // return place in scope 0 at $DIR/inline-cycle-generic.rs:8:11: 8:11
6 let _1: (); // in scope 0 at $DIR/inline-cycle-generic.rs:9:5: 9:24
7 + scope 1 (inlined <C as Call>::call) { // at $DIR/inline-cycle-generic.rs:9:5: 9:24
8 + scope 2 (inlined <B<A> as Call>::call) { // at $DIR/inline-cycle-generic.rs:38:9: 38:31
9 + scope 3 (inlined <A as Call>::call) { // at $DIR/inline-cycle-generic.rs:31:9: 31:28
10 + scope 4 (inlined <B<C> as Call>::call) { // at $DIR/inline-cycle-generic.rs:23:9: 23:31
17 StorageLive(_1); // scope 0 at $DIR/inline-cycle-generic.rs:9:5: 9:24
18 - _1 = <C as Call>::call() -> bb1; // scope 0 at $DIR/inline-cycle-generic.rs:9:5: 9:24
19 + _1 = <C as Call>::call() -> bb1; // scope 4 at $DIR/inline-cycle-generic.rs:31:9: 31:28
21 - // + span: $DIR/inline-cycle-generic.rs:9:5: 9:22
22 + // + span: $DIR/inline-cycle-generic.rs:31:9: 31:26
23 // + literal: Const { ty: fn() {<C as Call>::call}, val: Value(<ZST>) }
27 StorageDead(_1); // scope 0 at $DIR/inline-cycle-generic.rs:9:24: 9:25
28 _0 = const (); // scope 0 at $DIR/inline-cycle-generic.rs:8:11: 10:2
29 return; // scope 0 at $DIR/inline-cycle-generic.rs:10:2: 10:2
33 + resume; // scope 0 at $DIR/inline-cycle-generic.rs:8:1: 10:2