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.