]>
git.proxmox.com Git - rustc.git/blob - 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
8 pub mod dropck_outlives
;
9 pub mod evaluate_obligation
;
10 pub mod method_autoderef
;
14 pub use rustc_middle
::traits
::query
::*;