pub trait Relate<I>:
TypeFoldable<I>
+ PartialEq
+ Copywhere
I: Interner,{
// Required method
fn relate<R>(
relation: &mut R,
a: Self,
b: Self,
) -> Result<Self, TypeError<I>>
where R: TypeRelation<I>;
}
Required Methods§
fn relate<R>(relation: &mut R, a: Self, b: Self) -> Result<Self, TypeError<I>>where
R: TypeRelation<I>,
Object Safety§
This trait is not object safe.