[rustc.git] / src / librustc_trait_selection / traits / query / mod.rs

//! Experimental types for the trait query interface. The methods
//! defined in this module are all based on **canonicalization**,
//! which makes a canonical query by replacing unbound inference
//! variables and regions, so that results can be reused more broadly.
//! The providers for the queries defined here can be found in
//! `librustc_traits`.

pub mod dropck_outlives;
pub mod evaluate_obligation;
pub mod method_autoderef;
pub mod normalize;
pub mod outlives_bounds;
pub mod type_op;

pub use rustc_middle::traits::query::*;
Commit	Line	Data
74b04a01 XL	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
ba9703b0	15	pub use rustc_middle::traits::query::*;