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

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

Required methods

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

Implementors