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

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