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 🔒