Structs§
- Clause
- A subset of predicates which can be assumed by the trait solver. They show up in
an item’s where clauses, hence the name
Clause, and may either be user-written (such as traits) or may be inserted during lowering. - Predicate
- A statement that can be proven by a trait solver. This includes things that may
show up in where clauses, such as trait predicates and projection predicates,
and also things that are emitted as part of type checking such as
DynCompatiblepredicate which is emitted when a type is coerced to a trait object.
Traits§
Type Aliases§
- Alias
Term - Clause
Kind - Coerce
Predicate - Existential
Predicate - Existential
Projection - Existential
Trait Ref - Host
Effect Predicate - Normalizes
To - Outlives
Predicate - Poly
Coerce Predicate - Poly
Existential 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