Trait rustc_trait_selection::traits::TraitEngine

source ·
pub trait TraitEngine<'tcx, E>: 'tcx
where E: 'tcx,
{ // Required methods fn register_predicate_obligation( &mut self, infcx: &InferCtxt<'tcx>, obligation: Obligation<'tcx, Predicate<'tcx>>, ); fn select_where_possible(&mut self, infcx: &InferCtxt<'tcx>) -> Vec<E>; fn collect_remaining_errors(&mut self, infcx: &InferCtxt<'tcx>) -> Vec<E>; fn pending_obligations(&self) -> Vec<Obligation<'tcx, Predicate<'tcx>>>; fn drain_unstalled_obligations( &mut self, infcx: &InferCtxt<'tcx>, ) -> Vec<Obligation<'tcx, Predicate<'tcx>>>; // Provided methods fn register_bound( &mut self, infcx: &InferCtxt<'tcx>, param_env: ParamEnv<'tcx>, ty: Ty<'tcx>, def_id: DefId, cause: ObligationCause<'tcx>, ) { ... } fn register_predicate_obligations( &mut self, infcx: &InferCtxt<'tcx>, obligations: Vec<Obligation<'tcx, Predicate<'tcx>>>, ) { ... } fn select_all_or_error(&mut self, infcx: &InferCtxt<'tcx>) -> Vec<E> { ... } }

Required Methods§

source

fn register_predicate_obligation( &mut self, infcx: &InferCtxt<'tcx>, obligation: Obligation<'tcx, Predicate<'tcx>>, )

source

fn select_where_possible(&mut self, infcx: &InferCtxt<'tcx>) -> Vec<E>

source

fn collect_remaining_errors(&mut self, infcx: &InferCtxt<'tcx>) -> Vec<E>

source

fn pending_obligations(&self) -> Vec<Obligation<'tcx, Predicate<'tcx>>>

source

fn drain_unstalled_obligations( &mut self, infcx: &InferCtxt<'tcx>, ) -> Vec<Obligation<'tcx, Predicate<'tcx>>>

Among all pending obligations, collect those are stalled on a inference variable which has changed since the last call to select_where_possible. Those obligations are marked as successful and returned.

Provided Methods§

source

fn register_bound( &mut self, infcx: &InferCtxt<'tcx>, param_env: ParamEnv<'tcx>, ty: Ty<'tcx>, def_id: DefId, cause: ObligationCause<'tcx>, )

Requires that ty must implement the trait with def_id in the given environment. This trait must not have any type parameters (except for Self).

source

fn register_predicate_obligations( &mut self, infcx: &InferCtxt<'tcx>, obligations: Vec<Obligation<'tcx, Predicate<'tcx>>>, )

source

fn select_all_or_error(&mut self, infcx: &InferCtxt<'tcx>) -> Vec<E>

Trait Implementations§

source§

impl<'tcx, E> TraitEngineExt<'tcx, E> for dyn TraitEngine<'tcx, E>
where E: FromSolverError<'tcx, NextSolverError<'tcx>> + FromSolverError<'tcx, OldSolverError<'tcx>>,

source§

fn new(infcx: &InferCtxt<'tcx>) -> Box<Self>

Implementors§

source§

impl<'tcx, E> TraitEngine<'tcx, E> for FulfillmentCtxt<'tcx, E>
where E: FromSolverError<'tcx, NextSolverError<'tcx>>,

source§

impl<'tcx, E> TraitEngine<'tcx, E> for FulfillmentContext<'tcx, E>
where E: FromSolverError<'tcx, OldSolverError<'tcx>>,