Trait rustc_infer::traits::engine::TraitEngineExt

pub trait TraitEngineExt<'tcx> {
    // Required methods
    fn register_predicate_obligations(
        &mut self,
        infcx: &InferCtxt<'tcx>,
        obligations: impl IntoIterator<Item = PredicateObligation<'tcx>>
    );
    fn select_all_or_error(
        &mut self,
        infcx: &InferCtxt<'tcx>
    ) -> Vec<FulfillmentError<'tcx>>;
}

Required Methods

fn register_predicate_obligations( &mut self, infcx: &InferCtxt<'tcx>, obligations: impl IntoIterator<Item = PredicateObligation<'tcx>> )

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

Object Safety

This trait is not object safe.

Implementors

impl<'tcx, T: ?Sized + TraitEngine<'tcx>> TraitEngineExt<'tcx> for T