Type Definition rustc_middle::ty::query::query_storage::subst_and_check_impossible_predicates

type subst_and_check_impossible_predicates<'tcx> = DefaultCache<(DefId, &'tcx List<GenericArg<'tcx>>), bool>;