Type Definition predicates_of
rustc_middle::ty::query::query_values
type predicates_of<'tcx> = GenericPredicates<'tcx>;