Module rustc_traits::chalk
source · Expand description
Calls chalk-solve
to solve a ty::Predicate
In order to call chalk-solve
, this file must convert a CanonicalChalkEnvironmentAndGoal
into
a Chalk uncanonical goal. It then calls Chalk, and converts the answer back into rustc solution.
Modules
db 🔒
Provides the
RustIrDatabase
implementation for chalk-solve
lowering 🔒
Contains the logic to lower rustc types into Chalk types
Functions
provide 🔒