Module rustc_middle::traits::chalk

Types required for Chalk-related queries

The primary purpose of this file is defining an implementation for the chalk_ir::interner::Interner trait. The primary purpose of this trait, as its name suggest, is to provide an abstraction boundary for creating interned Chalk types.

Structs

ChalkEnvironmentAndGoal	We have to elaborate the environment of a chalk goal before canonicalization. This type wraps the predicate and the elaborated environment.
RustInterner

Enums

ChalkEnvironmentClause