pub trait Relate<I: Interner>:
TypeFoldable<I>
+ PartialEq
+ Copy {
// Required method
fn relate<R: TypeRelation<I>>(
relation: &mut R,
a: Self,
b: Self,
) -> RelateResult<I, Self>;
}
Required Methods§
fn relate<R: TypeRelation<I>>( relation: &mut R, a: Self, b: Self, ) -> RelateResult<I, 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.