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 |
QueryNormalizer |
[ Experimental ]
|