Type Definition rustc_middle::ty::query::query_keys::is_mir_available

type is_mir_available<'tcx> = DefId;