Module rustc_traits::chalk

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

• evaluate_goal 🔒
• provide 🔒