Module rustc::traits::query
[−]
[src]
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
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
.
Modules
dropck_outlives |
[ Experimental ]
|
normalize |
[ Experimental ] Code for the 'normalization' query. This consists of a wrapper
which folds deeply, invoking the underlying
|
normalize_erasing_regions |
[ Experimental ] Methods for normalizing when you don't care about regions (and
aren't doing type inference). If either of those things don't
apply to you, use |
Structs
NoSolution |
[ Experimental ]
|
Type Definitions
CanonicalProjectionGoal |
[ Experimental ]
|
CanonicalTyGoal |
[ Experimental ]
|
Fallible |
[ Experimental ]
|