Function rustc_typeck::collect::predicates_defined_on
source · fn predicates_defined_on(tcx: TyCtxt<'_>, def_id: DefId) -> GenericPredicates<'_>
Expand description
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.