# Function rustc_hir_analysis::collect::predicates_of::predicates_of

source ·

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

Expand description

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.