pub trait TraitEngine<'tcx>: '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<FulfillmentError<'tcx>, Global>;
    fn collect_remaining_errors(
        &mut self,
        infcx: &InferCtxt<'tcx>
    ) -> Vec<FulfillmentError<'tcx>, Global>;
    fn pending_obligations(
        &self
    ) -> Vec<Obligation<'tcx, Predicate<'tcx>>, Global>;
    fn drain_unstalled_obligations(
        &mut self,
        infcx: &InferCtxt<'tcx>
    ) -> Vec<Obligation<'tcx, Predicate<'tcx>>, Global>;

    // Provided method
    fn register_bound(
        &mut self,
        infcx: &InferCtxt<'tcx>,
        param_env: ParamEnv<'tcx>,
        ty: Ty<'tcx>,
        def_id: DefId,
        cause: ObligationCause<'tcx>
    ) { ... }
}

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<FulfillmentError<'tcx>, Global>

source

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

source

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

source

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

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).

Trait Implementations§

source§

impl<'tcx> TraitEngineExt<'tcx> for dyn TraitEngine<'tcx>

source§

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

Implementors§

source§

impl<'tcx> TraitEngine<'tcx> for FulfillmentCtxt<'tcx>

source§

impl<'tcx> TraitEngine<'tcx> for FulfillmentContext<'tcx>