[−][src]Trait rustc_infer::traits::engine::TraitEngineExt

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

Required methods

`pub fn register_predicate_obligations( &mut self, infcx: &InferCtxt<'_, 'tcx>, obligations: impl IntoIterator<Item = PredicateObligation<'tcx>> )`[src]

Loading content...

Implementors

`impl<T: ?Sized + TraitEngine<'tcx>, 'tcx> TraitEngineExt<'tcx> for T`[src]

`pub fn register_predicate_obligations( &mut self, infcx: &InferCtxt<'_, 'tcx>, obligations: impl IntoIterator<Item = PredicateObligation<'tcx>> )`[src]

Loading content...

[−][src]Trait rustc_infer::traits::engine::TraitEngineExt

Required methods

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

Implementors

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

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

`pub fn register_predicate_obligations( &mut self, infcx: &InferCtxt<'_, 'tcx>, obligations: impl IntoIterator<Item = PredicateObligation<'tcx>> )`[src]

`impl<T: ?Sized + TraitEngine<'tcx>, 'tcx> TraitEngineExt<'tcx> for T`[src]

`pub fn register_predicate_obligations( &mut self, infcx: &InferCtxt<'_, 'tcx>, obligations: impl IntoIterator<Item = PredicateObligation<'tcx>> )`[src]