Crate chalk_solve

Re-exports

pub use clauses::program_clauses_for_env;

Modules

clauses
coherence
ext
goal_builder
recursive
rust_ir	Contains the definition for the "Rust IR" -- this is basically a "lowered" version of the AST, roughly corresponding to [the HIR] in the Rust compiler.
split
wf

Structs

Solver

Finds the solution to "goals", or trait queries -- i.e., figures out what sets of types implement which traits. Also, between queries, this struct stores the cached state from previous solver attempts, which can then be re-used later.

Enums

Guidance	When a goal holds ambiguously (e.g., because there are multiple possible solutions), we issue a set of guidance back to type inference.
Solution	A (possible) solution for a proposed goal.
SolverChoice

Traits

RustIrDatabase