Module fulfill 

Re-exports

use std::marker::PhantomData; 🔒

use std::ops::ControlFlow; 🔒

use rustc_data_structures::obligation_forest::Error; 🔒

use rustc_data_structures::obligation_forest::ForestObligation; 🔒

use rustc_data_structures::obligation_forest::ObligationForest; 🔒

use rustc_data_structures::obligation_forest::ObligationProcessor; 🔒

use rustc_data_structures::obligation_forest::Outcome; 🔒

use rustc_data_structures::obligation_forest::ProcessResult; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_infer::infer::DefineOpaqueTypes; 🔒

use rustc_infer::traits::FromSolverError; 🔒

use rustc_infer::traits::PolyTraitObligation; 🔒

use rustc_infer::traits::PredicateObligations; 🔒

use rustc_infer::traits::ProjectionCacheKey; 🔒

use rustc_infer::traits::SelectionError; 🔒

use rustc_infer::traits::TraitEngine; 🔒

use rustc_infer::traits::TraitErrors; 🔒

use rustc_middle::ty::abstract_const::NotConstEvaluatable; 🔒

use rustc_middle::ty::error::ExpectedFound; 🔒

use rustc_middle::ty::error::TypeError; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Binder; 🔒

use rustc_middle::ty::Const; 🔒

use rustc_middle::ty::DelayedSet; 🔒

use rustc_middle::ty::GenericArgs; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeSuperVisitable; 🔒

use rustc_middle::ty::TypeVisitable; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::TypeVisitor; 🔒

use rustc_middle::ty::TypingMode; 🔒

use rustc_middle::ty::may_use_unstable_feature; 🔒

use rustc_next_trait_solver::solve::TyOrConstInferVar; 🔒

use rustc_span::bug; 🔒

use thin_vec::ThinVec; 🔒

use thin_vec::thin_vec; 🔒

use tracing::debug; 🔒

use tracing::debug_span; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use super::effects; 🔒

use super::effects::HostEffectObligation; 🔒

use super::project; 🔒

use super::project::ProjectAndUnifyResult; 🔒

use super::select::SelectionContext; 🔒

use super::EvaluationResult; 🔒

use super::FulfillmentError; 🔒

use super::FulfillmentErrorCode; 🔒

use super::PredicateObligation; 🔒

use super::ScrubbedTraitError; 🔒

use super::const_evaluatable; 🔒

use super::wf; 🔒

use crate::error_reporting::InferCtxtErrorExt; 🔒

use crate::infer::InferCtxt; 🔒

use crate::traits::normalize::normalize_with_depth_to; 🔒

use crate::traits::project::PolyProjectionObligation; 🔒

use crate::traits::project::ProjectionCacheKeyExt as _; 🔒

use crate::traits::query::evaluate_obligation::InferCtxtExt; 🔒

use crate::traits::EvaluateConstErr; 🔒

use crate::traits::implicit_fast_path; 🔒

Structs

FulfillProcessor 🔒

FulfillmentContext

The fulfillment context is used to drive trait resolution. It consists of a list of obligations that must be (eventually) satisfied. The job is to track which are satisfied, which yielded errors, and which are still pending. At any point, users can call try_evaluate_obligations, and the fulfillment context will try to do selection, retaining only those obligations that remain ambiguous. This may be helpful in pushing type inference along. Once all type inference constraints have been generated, the method evaluate_obligations_error_on_ambiguity can be used to report any remaining ambiguous cases as errors.

OldSolverError

PendingPredicateObligation

Functions

args_infer_vars 🔒

Returns the set of inference variables contained in args.

mk_pending 🔒

Type Aliases

PendingPredicateObligations 🔒