Skip to main content

## predicates_of

# Function 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 `explicit_predicates_of`, plus inferred constraints concerning which regions outlive other regions.