Module chalk_parse::ast
source · Structs§
- Represents an alias equality bound on e.g. a type or type parameter. Does not know anything about what it’s binding.
- This allows users to add arbitrary
A :- B
clauses into the logic; it has no equivalent in Rust, but it’s useful for testing. - Represents a trait bound on e.g. a type or type parameter. Does not know anything about what it’s binding.
Enums§
- An inline bound, e.g.
: Foo<K>
inimpl<K, T: Foo<K>> SomeType<T>
.