Trait rustc_trait_selection::traits::TraitEngineExt

pub trait TraitEngineExt<'tcx> {
    pub fn register_predicate_obligations(
        &mut self, 
        infcx: &InferCtxt<'_, 'tcx>, 
        obligations: impl IntoIterator<Item = Obligation<'tcx, Predicate<'tcx>>>
    );
}

Required methods

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

Loading content...

Implementors

Loading content...