Skip to main content

clauses_of

Function clauses_of 

Source
pub(super) fn clauses_of(tcx: TyCtxt<'_>, def_id: DefId) -> GenericClauses<'_>
Expand description

Returns a list of all type clauses (explicit and implicit) for the definition with ID def_id. This includes all clauses returned by explicit_clauses_of, plus inferred constraints concerning which regions outlive other regions.