1 - // MIR for `mk_cycle` before Inline
2 + // MIR for `mk_cycle` after Inline
4 fn mk_cycle(_1: &dyn Cache<V = V>) -> () {
5 debug c => _1; // in scope 0 at $DIR/dyn_trait.rs:+0:27: +0:28
6 let mut _0: (); // return place in scope 0 at $DIR/dyn_trait.rs:+0:49: +0:49
7 let mut _2: &dyn Cache<V = V>; // in scope 0 at $DIR/dyn_trait.rs:+1:5: +1:22
10 StorageLive(_2); // scope 0 at $DIR/dyn_trait.rs:+1:5: +1:22
11 _2 = &(*_1); // scope 0 at $DIR/dyn_trait.rs:+1:5: +1:22
12 _0 = <dyn Cache<V = V> as Cache>::store_nocache(move _2) -> bb1; // scope 0 at $DIR/dyn_trait.rs:+1:5: +1:22
14 // + span: $DIR/dyn_trait.rs:21:7: 21:20
15 // + literal: Const { ty: for<'a> fn(&'a dyn Cache<V = V>) {<dyn Cache<V = V> as Cache>::store_nocache}, val: Value(<ZST>) }
19 StorageDead(_2); // scope 0 at $DIR/dyn_trait.rs:+1:21: +1:22
20 return; // scope 0 at $DIR/dyn_trait.rs:+2:2: +2:2