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
8 pub mod dropck_outlives;
9 pub mod evaluate_obligation;
10 pub mod method_autoderef;
14 pub use rustc_middle::traits::query::*;