Structs§
- 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. - 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
DynCompatible
predicate which is emitted when a type is coerced to a trait object.