Type Definition rustc_middle::ty::query::query_stored::subst_and_check_impossible_predicates

type subst_and_check_impossible_predicates<'tcx> = bool;