Type Definition rustc_middle::ty::query::query_keys::subst_and_check_impossible_predicates

type subst_and_check_impossible_predicates<'tcx> = (DefId, SubstsRef<'tcx>);