tests/mir-opt/inline/dyn_trait.try_execute_query.Inline.diff

   1 - // MIR for `try_execute_query` before Inline
   2 + // MIR for `try_execute_query` after Inline
   3
   4   fn try_execute_query(_1: &C) -> () {
   5       debug c => _1;                       // in scope 0 at $DIR/dyn_trait.rs:+0:36: +0:37
   6       let mut _0: ();                      // return place in scope 0 at $DIR/dyn_trait.rs:+0:43: +0:43
   7       let mut _2: &dyn Cache<V = <C as Cache>::V>; // in scope 0 at $DIR/dyn_trait.rs:+1:14: +1:15
   8       let mut _3: &C;                      // in scope 0 at $DIR/dyn_trait.rs:+1:14: +1:15
   9 +     scope 1 (inlined mk_cycle::<<C as Cache>::V>) { // at $DIR/dyn_trait.rs:27:5: 27:16
  10 +         debug c => _2;                   // in scope 1 at $DIR/dyn_trait.rs:20:27: 20:28
  11 +     }
  12
  13       bb0: {
  14           StorageLive(_2);                 // scope 0 at $DIR/dyn_trait.rs:+1:14: +1:15
  15           StorageLive(_3);                 // scope 0 at $DIR/dyn_trait.rs:+1:14: +1:15
  16           _3 = &(*_1);                     // scope 0 at $DIR/dyn_trait.rs:+1:14: +1:15
  17           _2 = move _3 as &dyn Cache<V = <C as Cache>::V> (Pointer(Unsize)); // scope 0 at $DIR/dyn_trait.rs:+1:14: +1:15
  18           StorageDead(_3);                 // scope 0 at $DIR/dyn_trait.rs:+1:14: +1:15
  19 -         _0 = mk_cycle::<<C as Cache>::V>(move _2) -> bb1; // scope 0 at $DIR/dyn_trait.rs:+1:5: +1:16
  20 +         _0 = <dyn Cache<V = <C as Cache>::V> as Cache>::store_nocache(_2) -> bb1; // scope 1 at $DIR/dyn_trait.rs:21:5: 21:22
  21                                            // mir::Constant
  22 -                                          // + span: $DIR/dyn_trait.rs:27:5: 27:13
  23 -                                          // + literal: Const { ty: for<'a> fn(&'a (dyn Cache<V = <C as Cache>::V> + 'a)) {mk_cycle::<<C as Cache>::V>}, val: Value(<ZST>) }
  24 +                                          // + span: $DIR/dyn_trait.rs:21:7: 21:20
  25 +                                          // + literal: Const { ty: for<'a> fn(&'a dyn Cache<V = <C as Cache>::V>) {<dyn Cache<V = <C as Cache>::V> as Cache>::store_nocache}, val: Value(<ZST>) }
  26       }
  27
  28       bb1: {
  29           StorageDead(_2);                 // scope 0 at $DIR/dyn_trait.rs:+1:15: +1:16
  30           return;                          // scope 0 at $DIR/dyn_trait.rs:+2:2: +2:2
  31       }
  32   }
  33