Trait rustc_middle::ty::relate::Relate
source · pub trait Relate<'tcx>: TypeFoldable<'tcx> + Copy {
fn relate<R: TypeRelation<'tcx>>(
relation: &mut R,
a: Self,
b: Self
) -> RelateResult<'tcx, Self>;
}
Required Methods
sourcefn relate<R: TypeRelation<'tcx>>(