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

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

Required Methods

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

Implementors