Trait rustc_trait_selection::traits::util::traits::TraitEngineExt

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

Required Methods

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

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

Implementors