Expand description
Things related to predicates.
Structs§
- Bound
Existential Predicates - Bound
Existential Predicates Storage - Clause
- Clauses
- Clauses
Cached Type Info - Clauses
Storage - Param
Env - Param
EnvAnd - Predicate
- Predicate
Interned 🔒 - Stored
Bound Existential Predicates - Stored
Clauses
Functions§
- stable_
cmp_ 🔒existential_ predicate - Compares via an ordering that will not change if modules are reordered or other changes are made to the tree. In particular, this ordering is preserved across incremental compilations.
Type Aliases§
- Alias
Term - ArgOutlives
Predicate - Bound
Existential Predicate - Clause
Kind - Coerce
Predicate - Existential
Predicate - Existential
Projection - Existential
Trait Ref - Host
Effect Predicate - Normalizes
To - Outlives
Predicate - Poly
Coerce Predicate - Poly
Existential Projection - Poly
Existential Trait Ref - Poly
Projection Predicate - Poly
Region Outlives Predicate - Poly
Subtype Predicate - Poly
Trait Predicate - Poly
Trait Ref - Poly
Type Outlives Predicate - Predicate
Kind - Projection
Predicate - Region
Outlives Predicate - Subtype
Predicate - Trait
Predicate - Trait
Ref - Type
Outlives Predicate