- // MIR for `call` before Inline | |
+ // MIR for `call` after Inline | |
fn call(_1: &T) -> i32 { | |
debug s => _1; | |
let mut _0: i32; | |
let mut _2: &T; | |
+ scope 1 (inlined <T as Foo>::bar) { | |
+ } | |
bb0: { | |
StorageLive(_2); | |
_2 = &(*_1); | |
- _0 = <T as Foo>::bar(move _2) -> [return: bb1, unwind unreachable]; | |
- } | |
- | |
- bb1: { | |
+ _0 = const 0_i32; | |
StorageDead(_2); | |
return; | |
} | |
} | |