Function promoted_mir

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

Fetch all the promoteds of an item and prepare their MIR bodies to be ready for constant evaluation once all generic parameters become known.