blob: b5ca892077e14aa1d00ee41a94db98036ac5a2a3 [file] [log] [blame]
- // MIR for `Trait::b` before Inline
+ // MIR for `Trait::b` after Inline
fn Trait::b(_1: &Self) -> () {
debug self => _1;
let mut _0: ();
let _2: ();
let mut _3: &();
let _4: ();
let mut _5: &();
bb0: {
StorageLive(_2);
StorageLive(_3);
_5 = const <Self as Trait>::b::promoted[0];
_3 = &(*_5);
_2 = <() as Trait>::a(move _3) -> [return: bb1, unwind unreachable];
}
bb1: {
StorageDead(_3);
StorageDead(_2);
_0 = const ();
return;
}
}