[][src]Module rustc::traits::query

🔬 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
]
evaluate_obligation [
Experimental
]
normalize [
Experimental
]

Code for the 'normalization' query. This consists of a wrapper which folds deeply, invoking the underlying normalize_projection_ty query when it encounters projections.

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 infcx.normalize(...).

outlives_bounds [
Experimental
]
type_op [
Experimental
]

Structs

NoSolution [
Experimental
]

Type Definitions

CanonicalPredicateGoal [
Experimental
]
CanonicalProjectionGoal [
Experimental
]
CanonicalTyGoal [
Experimental
]
CanonicalTypeOpEqGoal [
Experimental
]
CanonicalTypeOpNormalizeGoal [
Experimental
]
CanonicalTypeOpProvePredicateGoal [
Experimental
]
CanonicalTypeOpSubtypeGoal [
Experimental
]
Fallible [
Experimental
]