rustc_trait_selection/solve.rs
1pub use rustc_next_trait_solver::solve::*;
2
3mod delegate;
4mod fulfill;
5pub mod inspect;
6mod normalize;
7mod select;
8
9pub(crate) use delegate::SolverDelegate;
10pub use fulfill::{FulfillmentCtxt, NextSolverError};
11pub(crate) use normalize::deeply_normalize_for_diagnostics;
12pub use normalize::{deeply_normalize, deeply_normalize_with_skipped_universes};
13pub use select::InferCtxtSelectExt;