Trait Relate

pub trait Relate<I>:
    TypeFoldable<I>
    + PartialEq
    + Copy
where
    I: Interner,
{
    // Required method
    fn relate<R>(
        relation: &mut R,
        a: Self,
        b: Self,
    ) -> Result<Self, TypeError<I>>
       where R: TypeRelation<I>;
}

Required Methods

fn relate<R>(relation: &mut R, a: Self, b: Self) -> Result<Self, TypeError<I>>

where R: TypeRelation<I>,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'db> Relate<DbInterner<'db>> for FnAbi

impl<'db> Relate<DbInterner<'db>> for Safety

impl<'db> Relate<DbInterner<'db>> for GenericArg<'db>

impl<'db> Relate<DbInterner<'db>> for Term<'db>

impl<'db> Relate<DbInterner<'db>> for Pattern<'db>

impl<'db> Relate<DbInterner<'db>> for BoundExistentialPredicates<'db>

impl<'db> Relate<DbInterner<'db>> for Const<'db>

impl<'db> Relate<DbInterner<'db>> for ExprConst

impl<'db> Relate<DbInterner<'db>> for GenericArgs<'db>

impl<'db> Relate<DbInterner<'db>> for Region<'db>

impl<'db> Relate<DbInterner<'db>> for Ty<'db>

impl<I> Relate<I> for AliasTerm<I>

where I: Interner,

impl<I> Relate<I> for AliasTy<I>

where I: Interner,

impl<I> Relate<I> for ExistentialProjection<I>

where I: Interner,

impl<I> Relate<I> for ExistentialTraitRef<I>

where I: Interner,

impl<I> Relate<I> for FnSig<I>

where I: Interner,

impl<I> Relate<I> for TraitPredicate<I>

where I: Interner,

impl<I> Relate<I> for TraitRef<I>

where I: Interner,

impl<I, T> Relate<I> for Binder<I, T>

where I: Interner, T: Relate<I>,