Module rustc_middle::traits::chalk
source · Expand description
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
A chalk environment and goal.