Trait rustc_middle::ty::relate::Relate

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

Required Methods

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

Implementations on Foreign Types

impl<'tcx> Relate<'tcx> for Unsafety

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

impl<'tcx> Relate<'tcx> for Abi

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

Implementors

impl<'tcx> Relate<'tcx> for &'tcx List<PolyExistentialPredicate<'tcx>>

impl<'tcx> Relate<'tcx> for BoundConstness

impl<'tcx> Relate<'tcx> for ImplPolarity

impl<'tcx> Relate<'tcx> for ImplSubject<'tcx>

impl<'tcx> Relate<'tcx> for Const<'tcx>

impl<'tcx> Relate<'tcx> for ProjectionPredicate<'tcx>

impl<'tcx> Relate<'tcx> for Term<'tcx>

impl<'tcx> Relate<'tcx> for TraitPredicate<'tcx>

impl<'tcx> Relate<'tcx> for Ty<'tcx>

impl<'tcx> Relate<'tcx> for AliasTy<'tcx>

impl<'tcx> Relate<'tcx> for ClosureSubsts<'tcx>

impl<'tcx> Relate<'tcx> for ExistentialProjection<'tcx>

impl<'tcx> Relate<'tcx> for ExistentialTraitRef<'tcx>

impl<'tcx> Relate<'tcx> for FnSig<'tcx>

impl<'tcx> Relate<'tcx> for GeneratorSubsts<'tcx>

impl<'tcx> Relate<'tcx> for Region<'tcx>

impl<'tcx> Relate<'tcx> for TraitRef<'tcx>

impl<'tcx> Relate<'tcx> for GenericArg<'tcx>

impl<'tcx> Relate<'tcx> for GeneratorWitness<'tcx>

impl<'tcx> Relate<'tcx> for SubstsRef<'tcx>

impl<'tcx, T: Relate<'tcx>> Relate<'tcx> for Binder<'tcx, T>