Module rustc::traits::query::normalize[][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?

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

Re-exports

use infer::InferCtxt;
use infer::InferOk;
use infer::at::At;
use infer::canonical::Canonical;
use infer::canonical::Canonicalize;
use infer::canonical::QueryResult;
use middle::const_val::ConstVal;
use mir::interpret::GlobalId;
use rustc_data_structures::sync::Lrc;
use traits::Obligation;
use traits::ObligationCause;
use traits::PredicateObligation;
use traits::Reveal;
use traits::query::CanonicalProjectionGoal;
use traits::project::Normalized;
use ty;
use ty::Ty;
use ty::TyCtxt;
use ty::fold::TypeFoldable;
use ty::fold::TypeFolder;
use ty::subst::Subst;
use ty::subst::Substs;
use super::NoSolution;

Structs

NormalizationResult [
Experimental
]

Result from the normalize_projection_ty query.

QueryNormalizer [
Experimental
]