1 - // MIR for `one` before Inline
2 + // MIR for `one` after Inline
5 let mut _0: (); // return place in scope 0 at $DIR/inline-cycle.rs:13:10: 13:10
6 let _1: (); // in scope 0 at $DIR/inline-cycle.rs:14:5: 14:24
7 + scope 1 (inlined <C as Call>::call) { // at $DIR/inline-cycle.rs:14:5: 14:24
11 StorageLive(_1); // scope 0 at $DIR/inline-cycle.rs:14:5: 14:24
12 - _1 = <C as Call>::call() -> bb1; // scope 0 at $DIR/inline-cycle.rs:14:5: 14:24
13 + _1 = <A<C> as Call>::call() -> bb1; // scope 1 at $DIR/inline-cycle.rs:43:9: 43:23
15 - // + span: $DIR/inline-cycle.rs:14:5: 14:22
16 - // + literal: Const { ty: fn() {<C as Call>::call}, val: Value(Scalar(<ZST>)) }
17 + // + span: $DIR/inline-cycle.rs:43:9: 43:21
18 + // + literal: Const { ty: fn() {<A<C> as Call>::call}, val: Value(Scalar(<ZST>)) }
22 StorageDead(_1); // scope 0 at $DIR/inline-cycle.rs:14:24: 14:25
23 _0 = const (); // scope 0 at $DIR/inline-cycle.rs:13:10: 15:2
24 return; // scope 0 at $DIR/inline-cycle.rs:15:2: 15:2
28 + resume; // scope 0 at $DIR/inline-cycle.rs:13:1: 15:2