]>
Commit | Line | Data |
---|---|---|
04454e1e FG |
1 | - // MIR for `mk_cycle` before Inline |
2 | + // MIR for `mk_cycle` after Inline | |
3 | ||
4 | fn mk_cycle(_1: &dyn Cache<V = V>) -> () { | |
487cf647 FG |
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 | |
04454e1e FG |
8 | |
9 | bb0: { | |
487cf647 FG |
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 | |
04454e1e | 13 | // mir::Constant |
487cf647 | 14 | // + span: $DIR/dyn_trait.rs:21:7: 21:20 |
2b03887a | 15 | // + literal: Const { ty: for<'a> fn(&'a dyn Cache<V = V>) {<dyn Cache<V = V> as Cache>::store_nocache}, val: Value(<ZST>) } |
04454e1e FG |
16 | } |
17 | ||
18 | bb1: { | |
487cf647 FG |
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 | |
04454e1e FG |
21 | } |
22 | } | |
23 |