Trait rustc_middle::ty::relate::Relate
source · 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.