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