src/test/mir-opt/inline/inline_cycle_generic.main.Inline.diff

   1 - // MIR for `main` before Inline
   2 + // MIR for `main` after Inline
   3
   4   fn main() -> () {
   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 +         }
  10 +     }
  11
  12       bb0: {
  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
  16                                            // mir::Constant
  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>)) }
  21       }
  22
  23       bb1: {
  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
  27       }
  28   }
  29