Function rustc_hir_analysis::collect::predicates_of::predicates_of

pub(super) 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 explicit_predicates_of, plus inferred constraints concerning which regions outlive other regions.