1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
// MIR for `test` after Inline fn test(_1: &dyn X) -> u32 { debug x => _1; let mut _0: u32; let mut _2: &dyn X; bb0: { StorageLive(_2); _2 = &(*_1); _0 = <dyn X as X>::y(move _2) -> [return: bb1, unwind unreachable]; } bb1: { StorageDead(_2); return; } }