src/test/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:26:36: 26:37
   6       let mut _0: ();                      // return place in scope 0 at $DIR/dyn-trait.rs:26:43: 26:43
   7       let mut _2: &dyn Cache<V = <C as Cache>::V>; // in scope 0 at $DIR/dyn-trait.rs:27:14: 27:15
   8       let mut _3: &C;                      // in scope 0 at $DIR/dyn-trait.rs:27:14: 27: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 +         let mut _4: &dyn Cache<V = <C as Cache>::V>; // in scope 1 at $DIR/dyn-trait.rs:21:5: 21:22
  12 +     }
  13
  14       bb0: {
  15           StorageLive(_2);                 // scope 0 at $DIR/dyn-trait.rs:27:14: 27:15
  16           StorageLive(_3);                 // scope 0 at $DIR/dyn-trait.rs:27:14: 27:15
  17           _3 = &(*_1);                     // scope 0 at $DIR/dyn-trait.rs:27:14: 27:15
  18           _2 = move _3 as &dyn Cache<V = <C as Cache>::V> (Pointer(Unsize)); // scope 0 at $DIR/dyn-trait.rs:27:14: 27:15
  19           StorageDead(_3);                 // scope 0 at $DIR/dyn-trait.rs:27:14: 27:15
  20 -         _0 = mk_cycle::<<C as Cache>::V>(move _2) -> bb1; // scope 0 at $DIR/dyn-trait.rs:27:5: 27:16
  21 +         StorageLive(_4);                 // scope 1 at $DIR/dyn-trait.rs:21:5: 21:22
  22 +         _4 = _2;                         // scope 1 at $DIR/dyn-trait.rs:21:5: 21:22
  23 +         _0 = <dyn Cache<V = <C as Cache>::V> as Cache>::store_nocache(move _4) -> bb1; // scope 1 at $DIR/dyn-trait.rs:21:5: 21:22
  24                                            // mir::Constant
  25 -                                          // + span: $DIR/dyn-trait.rs:27:5: 27:13
  26 -                                          // + literal: Const { ty: for<'r> fn(&'r (dyn Cache<V = <C as Cache>::V> + 'r)) {mk_cycle::<<C as Cache>::V>}, val: Value(<ZST>) }
  27 +                                          // + span: $DIR/dyn-trait.rs:21:7: 21:20
  28 +                                          // + literal: Const { ty: for<'r> fn(&'r dyn Cache<V = <C as Cache>::V>) {<dyn Cache<V = <C as Cache>::V> as Cache>::store_nocache}, val: Value(<ZST>) }
  29       }
  30
  31       bb1: {
  32 +         StorageDead(_4);                 // scope 1 at $DIR/dyn-trait.rs:21:21: 21:22
  33           StorageDead(_2);                 // scope 0 at $DIR/dyn-trait.rs:27:15: 27:16
  34           return;                          // scope 0 at $DIR/dyn-trait.rs:28:2: 28:2
  35 +     }
  36 +
  37 +     bb2 (cleanup): {
  38 +         resume;                          // scope 0 at $DIR/dyn-trait.rs:26:1: 28:2
  39       }
  40   }
  41