pub trait Elaboratable<I>where
I: Interner,{
// Required methods
fn predicate(&self) -> <I as Interner>::Predicate;
fn child(&self, clause: <I as Interner>::Clause) -> Self;
fn child_with_derived_cause(
&self,
clause: <I as Interner>::Clause,
span: <I as Interner>::Span,
parent_trait_pred: Binder<I, TraitPredicate<I>>,
index: usize,
) -> Self;
}
Expand description
Describes how to elaborate an obligation into a sub-obligation.
Required Methods§
fn predicate(&self) -> <I as Interner>::Predicate
fn child(&self, clause: <I as Interner>::Clause) -> Self
fn child_with_derived_cause( &self, clause: <I as Interner>::Clause, span: <I as Interner>::Span, parent_trait_pred: Binder<I, TraitPredicate<I>>, index: usize, ) -> Self
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.