Type Definition rustc_middle::ty::query::query_stored::promoted_mir[][src]

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