Type Definition mir_promoted
Other items inrustc_middle::ty::query::query_keys
type mir_promoted<'tcx> = WithOptConstParam<LocalDefId>;