blob: ea3e18872fa417d0f021e11180738887c27a5204 (
plain)
1
2
3
4
5
6
7
8
9
10
|
//! Crate containing the implementation of the next-generation trait solver.
//!
//! This crate may also contain things that are used by the old trait solver,
//! but were uplifted in the process of making the new trait solver generic.
//! So if you got to this crate from the old solver, it's totally normal.
pub mod canonicalizer;
pub mod infcx;
pub mod resolve;
pub mod solve;
|