tests/mir-opt/inline/caller_with_trivial_bound.foo.Inline.diff

   1 - // MIR for `foo` before Inline
   2 + // MIR for `foo` after Inline
   3
   4   fn foo() -> () {
   5       let mut _0: ();                      // return place in scope 0 at $DIR/caller_with_trivial_bound.rs:+1:1: +1:1
   6       let mut _1: <IntFactory as Factory<T>>::Item; // in scope 0 at $DIR/caller_with_trivial_bound.rs:+4:9: +4:14
   7       scope 1 {
   8           debug x => _1;                   // in scope 1 at $DIR/caller_with_trivial_bound.rs:+4:9: +4:14
   9       }
  10
  11       bb0: {
  12           StorageLive(_1);                 // scope 0 at $DIR/caller_with_trivial_bound.rs:+4:9: +4:14
  13           _1 = bar::<T>() -> bb1;          // scope 0 at $DIR/caller_with_trivial_bound.rs:+4:51: +4:61
  14                                            // mir::Constant
  15                                            // + span: $DIR/caller_with_trivial_bound.rs:20:51: 20:59
  16                                            // + literal: Const { ty: fn() -> <IntFactory as Factory<T>>::Item {bar::<T>}, val: Value(<ZST>) }
  17       }
  18
  19       bb1: {
  20           _0 = const ();                   // scope 0 at $DIR/caller_with_trivial_bound.rs:+3:1: +5:2
  21           drop(_1) -> [return: bb2, unwind: bb3]; // scope 0 at $DIR/caller_with_trivial_bound.rs:+5:1: +5:2
  22       }
  23
  24       bb2: {
  25           StorageDead(_1);                 // scope 0 at $DIR/caller_with_trivial_bound.rs:+5:1: +5:2
  26           return;                          // scope 0 at $DIR/caller_with_trivial_bound.rs:+5:2: +5:2
  27       }
  28
  29       bb3 (cleanup): {
  30           resume;                          // scope 0 at $DIR/caller_with_trivial_bound.rs:+0:1: +5:2
  31       }
  32   }
  33