Function rustc_hir_analysis::collect::predicates_defined_on

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

Returns a list of type predicates for the definition with ID def_id, including inferred lifetime constraints. This includes all predicates returned by explicit_predicates_of, plus inferred constraints concerning which regions outlive other regions.