Type Definition rustc_middle::ty::query::query_stored::subst_and_check_impossible_predicates[][src]

pub type subst_and_check_impossible_predicates<'tcx> = bool;