Trait rustc::ty::relate::Relate

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;
}

Unstable (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

Unstable (rustc_private)

Implementors

• impl<'tcx> Relate<'tcx> for TypeAndMut<'tcx>
• impl<'tcx> Relate<'tcx> for &'tcx BareFnTy<'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 ProjectionPredicate<'tcx>
• impl<'tcx> Relate<'tcx> for Vec<PolyProjectionPredicate<'tcx>>
• impl<'tcx> Relate<'tcx> for ExistentialBounds<'tcx>
• impl<'tcx> Relate<'tcx> for BuiltinBounds
• impl<'tcx> Relate<'tcx> for TraitRef<'tcx>
• impl<'tcx> Relate<'tcx> for Ty<'tcx>
• impl<'tcx> Relate<'tcx> for ClosureSubsts<'tcx>
• impl<'tcx> Relate<'tcx> for &'tcx Substs<'tcx>
• impl<'tcx> Relate<'tcx> for 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>