Module rustc_traits::chalk

Calls chalk-solve to solve a ty::Predicate

In order to call chalk-solve, this file must convert a ChalkCanonicalGoal into a Chalk ucanonical 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