pub(crate) fn mir_promoted(
tcx: TyCtxt<'_>,
def: WithOptConstParam<LocalDefId>
) -> (&Steal<Body<'_>>, &Steal<IndexVec<Promoted, Body<'_>>>)
Expand description

Compute the main MIR body and the list of MIR bodies of the promoteds.