pub trait Relate<'tcx>: TypeFoldable<'tcx> + Copy {
    fn relate<R: TypeRelation<'tcx>>(
        relation: &mut R,
        a: Self,
        b: Self
    ) -> RelateResult<'tcx, Self>; }

Required Methods§

Implementations on Foreign Types§

Implementors§