Trait rustc::ty::relate::Relate
[−]
[src]
pub trait Relate<'tcx>: TypeFoldable<'tcx> { fn relate<'a, 'gcx, R>(relation: &mut R,
a: &Self,
b: &Self)
-> RelateResult<'tcx, Self> where R: TypeRelation<'a, 'gcx, 'tcx>, 'gcx: 'a + 'tcx, 'tcx: 'a; }
🔬 This is a nightly-only experimental API. (
rustc_private
)Required Methods
fn relate<'a, 'gcx, R>(relation: &mut R,
a: &Self,
b: &Self)
-> RelateResult<'tcx, Self> where R: TypeRelation<'a, 'gcx, 'tcx>, 'gcx: 'a + 'tcx, 'tcx: 'a
a: &Self,
b: &Self)
-> RelateResult<'tcx, Self> where R: TypeRelation<'a, 'gcx, 'tcx>, 'gcx: 'a + 'tcx, 'tcx: 'a
🔬 This is a nightly-only experimental API. (
rustc_private
)Implementors
impl<'tcx> Relate<'tcx> for TypeAndMut<'tcx>
impl<'tcx> Relate<'tcx> for FnSig<'tcx>
impl<'tcx> Relate<'tcx> for Unsafety
impl<'tcx> Relate<'tcx> for Abi
impl<'tcx> Relate<'tcx> for ProjectionTy<'tcx>
impl<'tcx> Relate<'tcx> for ExistentialProjection<'tcx>
impl<'tcx> Relate<'tcx> for Vec<PolyExistentialProjection<'tcx>>
impl<'tcx> Relate<'tcx> for TraitRef<'tcx>
impl<'tcx> Relate<'tcx> for ExistentialTraitRef<'tcx>
impl<'tcx> Relate<'tcx> for Ty<'tcx>
impl<'tcx> Relate<'tcx> for &'tcx Slice<ExistentialPredicate<'tcx>>
impl<'tcx> Relate<'tcx> for ClosureSubsts<'tcx>
impl<'tcx> Relate<'tcx> for &'tcx Substs<'tcx>
impl<'tcx> Relate<'tcx> for &'tcx Region
impl<'tcx, T: Relate<'tcx>> Relate<'tcx> for Binder<T>
impl<'tcx, T: Relate<'tcx>> Relate<'tcx> for Rc<T>
impl<'tcx, T: Relate<'tcx>> Relate<'tcx> for Box<T>