Type Definition rustc_middle::ty::query::query_values::promoted_mir

type promoted_mir<'tcx> = &'tcx IndexVec<Promoted, Body<'tcx>>;