Function rustc_mir::transform::mir_promoted

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

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