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
13 StorageLive(_1); // scope 0 at $DIR/inline-cycle-generic.rs:9:5: 9:24
14 - _1 = <C as Call>::call() -> bb1; // scope 0 at $DIR/inline-cycle-generic.rs:9:5: 9:24
15 + _1 = <A as Call>::call() -> bb1; // scope 2 at $DIR/inline-cycle-generic.rs:31:9: 31:28
17 - // + span: $DIR/inline-cycle-generic.rs:9:5: 9:22
18 - // + literal: Const { ty: fn() {<C as Call>::call}, val: Value(Scalar(<ZST>)) }
19 + // + span: $DIR/inline-cycle-generic.rs:31:9: 31:26
20 + // + literal: Const { ty: fn() {<A as Call>::call}, val: Value(Scalar(<ZST>)) }
24 StorageDead(_1); // scope 0 at $DIR/inline-cycle-generic.rs:9:24: 9:25
25 _0 = const (); // scope 0 at $DIR/inline-cycle-generic.rs:8:11: 10:2
26 return; // scope 0 at $DIR/inline-cycle-generic.rs:10:2: 10:2