Trait rustc_trait_selection::traits::TraitEngine
source · pub trait TraitEngine<'tcx, E>: 'tcxwhere
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§
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>>>
sourcefn drain_unstalled_obligations(
&mut self,
infcx: &InferCtxt<'tcx>,
) -> Vec<Obligation<'tcx, Predicate<'tcx>>>
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§
sourcefn register_bound(
&mut self,
infcx: &InferCtxt<'tcx>,
param_env: ParamEnv<'tcx>,
ty: Ty<'tcx>,
def_id: DefId,
cause: ObligationCause<'tcx>,
)
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
).