Trait rustc_trait_selection::traits::util::traits::TraitEngineExt
source · [−]pub trait TraitEngineExt<'tcx> {
fn register_predicate_obligations(
&mut self,
infcx: &InferCtxt<'_>,
obligations: impl IntoIterator<Item = Obligation<Predicate>>
);
}