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