Function get_promoted_mir

pub fn get_promoted_mir<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: RDefId,
    promoted_id: Promoted,
) -> Body<'tcx>

Retrieve the MIR for a promoted body.