rustc_trait_selection/traits/query/
mod.rs

1//! Experimental types for the trait query interface. The methods
2//! defined in this module are all based on **canonicalization**,
3//! which makes a canonical query by replacing unbound inference
4//! variables and regions, so that results can be reused more broadly.
5//! The providers for the queries defined here can be found in
6//! `rustc_traits`.
7
8pub mod dropck_outlives;
9pub mod evaluate_obligation;
10pub mod method_autoderef;
11pub mod normalize;
12pub mod type_op;
13
14pub use rustc_middle::traits::query::*;