compiler/rustc_trait_selection/src/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 //! `librustc_traits`.
   7
   8 pub mod dropck_outlives;
   9 pub mod evaluate_obligation;
  10 pub mod method_autoderef;
  11 pub mod normalize;
  12 pub mod outlives_bounds;
  13 pub mod type_op;
  14
  15 pub use rustc_middle::traits::query::*;