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§

source

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

source

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

Implementors§

source§

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