Type Definition rustc_middle::ty::query::query_values::mir_promoted

type mir_promoted<'tcx> = (&'tcx Steal<Body<'tcx>>, &'tcx Steal<IndexVec<Promoted, Body<'tcx>>>);