Function mir_promoted

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

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