Expand description
Deeply normalize types using the old trait solver.
Re-exports§
use rustc_errors::msg;🔒use rustc_infer::infer::at::At;🔒use rustc_infer::infer::InferCtxt;🔒use rustc_infer::infer::InferOk;🔒use rustc_infer::traits::FromSolverError;🔒use rustc_infer::traits::Normalized;🔒use rustc_infer::traits::Obligation;🔒use rustc_infer::traits::PredicateObligations;🔒use rustc_infer::traits::TraitEngine;🔒use rustc_infer::traits::TraitErrors;🔒use rustc_macros::extension;🔒use rustc_middle::traits::ObligationCause;🔒use rustc_middle::traits::ObligationCauseCode;🔒use rustc_middle::ty;🔒use rustc_middle::ty::AliasTerm;🔒use rustc_middle::ty::PredicateProxy;🔒use rustc_middle::ty::Term;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_middle::ty::TypeFoldable;🔒use rustc_middle::ty::TypeFolder;🔒use rustc_middle::ty::TypeSuperFoldable;🔒use rustc_middle::ty::TypeVisitable;🔒use rustc_middle::ty::TypeVisitableExt;🔒use rustc_middle::ty::TypingMode;🔒use rustc_middle::ty::Unnormalized;🔒use rustc_span::span_bug;🔒use thin_vec::ThinVec;🔒use tracing::debug;🔒use tracing::instrument;🔒use tracing::instrument;🔒use super::BoundVarReplacer;🔒use super::PlaceholderReplacer;🔒use super::SelectionContext;🔒use super::project;🔒use crate::error_reporting::InferCtxtErrorExt;🔒use crate::error_reporting::traits::OverflowCause;🔒use crate::solve::NextSolverError;🔒
Structs§
Traits§
Functions§
- needs_
normalization 🔒 - normalize_
with_ 🔒depth - As
normalize, but with a custom depth. - normalize_
with_ 🔒depth_ to