Trait TraitEngine

pub trait TraitEngine<'tcx, E: 'tcx>: 'tcx {
    // Required methods
    fn register_predicate_obligation(
        &mut self,
        infcx: &InferCtxt<'tcx>,
        obligation: PredicateObligation<'tcx>,
    );
    fn select_where_possible(&mut self, infcx: &InferCtxt<'tcx>) -> Vec<E>;
    fn collect_remaining_errors(&mut self, infcx: &InferCtxt<'tcx>) -> Vec<E>;
    fn has_pending_obligations(&self) -> bool;
    fn pending_obligations(&self) -> PredicateObligations<'tcx>;
    fn drain_unstalled_obligations(
        &mut self,
        infcx: &InferCtxt<'tcx>,
    ) -> PredicateObligations<'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: PredicateObligations<'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: PredicateObligation<'tcx>, )

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

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

fn has_pending_obligations(&self) -> bool

fn pending_obligations(&self) -> PredicateObligations<'tcx>

fn drain_unstalled_obligations( &mut self, infcx: &InferCtxt<'tcx>, ) -> PredicateObligations<'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

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

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

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

Implementors