Contains the definition for the "Rust IR" -- this is basically a "lowered" version of the AST, roughly corresponding to [the HIR] in the Rust compiler.
Represents an alias equality bound on e.g. a type or type parameter. Does not know anything about what it's binding.
Represents an associated type declaration found inside of a trait:
Encodes the parts of
Represents the value of an associated type that is assigned from within some impl.
Identifier for an "associated type value" found in some impl.
Represents the bounds for an
Represents a trait bound on e.g. a type or type parameter. Does not know anything about what it's binding.
A rust intermediate representation (rust_ir) of a Trait Definition. For example, given the following rust code:
An inline bound, e.g.
A list of the traits that are "well known" to chalk, which means that the chalk-solve crate has special, hard-coded impls for them.