Function rustc_typeck::collect::predicates_of

fn predicates_of(tcx: TyCtxt<'_>, def_id: DefId) -> GenericPredicates<'_>

Returns a list of all type predicates (explicit and implicit) for the definition with ID def_id. This includes all predicates returned by predicates_defined_on, plus Self: Trait predicates for traits.