Type Definition rustc_middle::ty::query::query_keys::is_ctfe_mir_available

pub type is_ctfe_mir_available<'tcx> = DefId;