Trait rustc_type_ir::relate::Relate

source ·
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§

source

fn relate<R: TypeRelation<I>>( relation: &mut R, a: Self, b: Self, ) -> RelateResult<I, Self>

Object Safety§

This trait is not object safe.

Implementors§