[][src]Trait rustc_middle::ty::relate::Relate

pub trait Relate<'tcx>: TypeFoldable<'tcx> + 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>

Loading content...

Implementations on Foreign Types

impl<'tcx> Relate<'tcx> for Unsafety[src]

impl<'tcx> Relate<'tcx> for Abi[src]

Loading content...

Implementors

impl<'tcx> Relate<'tcx> for &'tcx Const<'tcx>[src]

impl<'tcx> Relate<'tcx> for &'tcx List<ExistentialPredicate<'tcx>>[src]

impl<'tcx> Relate<'tcx> for GeneratorWitness<'tcx>[src]

impl<'tcx> Relate<'tcx> for ClosureSubsts<'tcx>[src]

impl<'tcx> Relate<'tcx> for ExistentialProjection<'tcx>[src]

impl<'tcx> Relate<'tcx> for ExistentialTraitRef<'tcx>[src]

impl<'tcx> Relate<'tcx> for FnSig<'tcx>[src]

impl<'tcx> Relate<'tcx> for GeneratorSubsts<'tcx>[src]

impl<'tcx> Relate<'tcx> for ProjectionPredicate<'tcx>[src]

impl<'tcx> Relate<'tcx> for ProjectionTy<'tcx>[src]

impl<'tcx> Relate<'tcx> for TraitPredicate<'tcx>[src]

impl<'tcx> Relate<'tcx> for TraitRef<'tcx>[src]

impl<'tcx> Relate<'tcx> for TypeAndMut<'tcx>[src]

impl<'tcx> Relate<'tcx> for GenericArg<'tcx>[src]

impl<'tcx> Relate<'tcx> for Region<'tcx>[src]

impl<'tcx> Relate<'tcx> for SubstsRef<'tcx>[src]

impl<'tcx> Relate<'tcx> for Ty<'tcx>[src]

impl<'tcx, T: Relate<'tcx>> Relate<'tcx> for Binder<T>[src]

Loading content...