rustc_next_trait_solver/
lib.rs

1//! Crate containing the implementation of the next-generation trait solver.
2//!
3//! This crate may also contain things that are used by the old trait solver,
4//! but were uplifted in the process of making the new trait solver generic.
5//! So if you got to this crate from the old solver, it's totally normal.
6
7// tidy-alphabetical-start
8#![allow(rustc::usage_of_type_ir_inherent)]
9#![allow(rustc::usage_of_type_ir_traits)]
10#![cfg_attr(not(bootstrap), allow(rustc::direct_use_of_rustc_type_ir))]
11// tidy-alphabetical-end
12
13pub mod canonicalizer;
14pub mod coherence;
15pub mod delegate;
16pub mod placeholder;
17pub mod resolve;
18pub mod solve;