Function rustc_typeck::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.