Type Definition rustc_middle::ty::query::query_values::subst_and_check_impossible_predicates

type subst_and_check_impossible_predicates<'tcx> = bool;