Trait rustc::middle::ty_relate::RelateUnstable [-] [+] [src]

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

Required Methods

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

Implementors