Type Definition rustc_middle::ty::query::query_values::super_predicates_of

type super_predicates_of<'tcx> = GenericPredicates<'tcx>;