Re-exports§
use rustc_infer::infer::InferCtxt;🔒use rustc_infer::infer::at::At;🔒use rustc_infer::traits::solve::Goal;🔒use rustc_infer::traits::FromSolverError;🔒use rustc_infer::traits::Normalized;🔒use rustc_infer::traits::Obligation;🔒use rustc_infer::traits::PredicateObligation;🔒use rustc_infer::traits::PredicateObligations;🔒use rustc_infer::traits::TraitEngine;🔒use rustc_infer::traits::TraitErrors;🔒use rustc_middle::traits::ObligationCause;🔒use rustc_middle::ty;🔒use rustc_middle::ty::Binder;🔒use rustc_middle::ty::Flags;🔒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::TypeVisitableExt;🔒use rustc_middle::ty::UniverseIndex;🔒use rustc_middle::ty::Unnormalized;🔒use rustc_next_trait_solver::normalize::NormalizationFolder;🔒use rustc_next_trait_solver::normalize::NormalizationWasAmbiguous;🔒use rustc_next_trait_solver::solve::SolverDelegateEvalExt;🔒use thin_vec::ThinVec;🔒use thin_vec::thin_vec;🔒use super::FulfillmentCtxt;🔒use super::NextSolverError;🔒use crate::solve::Certainty;🔒use crate::solve::SolverDelegate;🔒use crate::traits::BoundVarReplacer;🔒use crate::traits::ScrubbedTraitError;🔒
Structs§
Functions§
- deeply_
normalize - Deeply normalize all aliases in
value. This does not handle inference and expects its input to be already fully resolved. - deeply_
normalize_ 🔒for_ diagnostics - deeply_
normalize_ with_ skipped_ universes - Deeply normalize all aliases in
value. This does not handle inference and expects its input to be already fully resolved. - deeply_
normalize_ with_ skipped_ universes_ and_ ambiguous_ coroutine_ goals - Deeply normalize all aliases in
value. This does not handle inference and expects its input to be already fully resolved. - normalize
- Normalize a value, deferring ambiguity and errors to fulfillment.
- normalize_
with_ 🔒universes - Like
deeply_normalize, but we handle ambiguity and inference variables in this routine. The behavior should be same as the old solver. On error, return the failed obligation. For ambiguity, we have two cases: