Module clauses_of 

Functions

assert_only_contains_clauses_from 🔒

clauses_of 🔒

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.

compute_bidirectional_outlives_clauses 🔒

Opaques have duplicated lifetimes and we need to compute bidirectional outlives clauses to enforce that these lifetimes stay in sync.

const_conditions 🔒

const_evaluatable_clauses_of 🔒

explicit_clauses_of 🔒

explicit_implied_clauses_of 🔒

explicit_implied_const_bounds 🔒

explicit_super_clauses_of 🔒

Ensures that the super-clauses of the trait with a DefId of trait_def_id are lowered and stored. This also ensures that the transitive super-clauses are lowered.

explicit_supertraits_containing_assoc_item 🔒

gather_explicit_clauses_of 🔒

Returns a list of user-specified type clauses for the definition with ID def_id. N.B., this does not include any implied/inferred constraints.

implied_clauses_with_filter 🔒

Ensures that the super-clauses of the trait with a DefId of trait_def_id are lowered and stored. This also ensures that the transitive super-clauses are lowered.

trait_explicit_clauses_and_bounds 🔒

type_param_clauses 🔒

Returns the clauses defined on item_def_id of the form X: Foo where X is the type parameter def_id.