[][src]Crate chalk_rust_ir

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.

Structs

AssociatedTyDatum
AssociatedTyValue

Represents the value of an associated type that is assigned from within some impl.

AssociatedTyValueBound
DefaultImplDatum
DefaultImplDatumBound
ImplDatum
ImplDatumBound
ProjectionEqBound

Represents a projection equality bound on e.g. a type or type parameter. Does not know anything about what it's binding.

StructDatum
StructDatumBound
StructFlags
TraitBound

Represents a trait bound on e.g. a type or type parameter. Does not know anything about what it's binding.

TraitDatum
TraitDatumBound
TraitFlags
TypeKind

Enums

ImplType
InlineBound

An inline bound, e.g. : Foo<K> in impl<K, T: Foo<K>> SomeType<T>.

LangItem
PolarizedTraitRef
TypeSort

Traits

Anonymize
IntoWhereClauses
ToParameter

Type Definitions

QuantifiedInlineBound