Type Definition rustc_middle::ty::query::query_keys::promoted_mir[−][src]

type promoted_mir<'tcx> = DefId;