Trait StaticTypeRefEquivalentor 

pub trait StaticTypeRefEquivalentor<'a, T>: StaticEquivalentor<T>
where
    T: Type + ?Sized,
{
    // Required methods
    fn equivalent_ref(a: &T, b: &T::Ref<'a>) -> bool;
    fn equivalent_refs(a: &T::Ref<'a>, b: &T::Ref<'a>) -> bool;
}

Stateless equivalence trait

Required Methods

fn equivalent_ref(a: &T, b: &T::Ref<'a>) -> bool

Compare a to b and return true if they are equal.

fn equivalent_refs(a: &T::Ref<'a>, b: &T::Ref<'a>) -> bool

Compare a to b and return true if they are equal.

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<'a, A> StaticTypeRefEquivalentor<'a, A> for Ascend

where A: ?Sized + Eq + Type + Equivalent<A::Ref<'a>>, A::Ref<'a>: Eq,

impl<'a, A> StaticTypeRefEquivalentor<'a, A> for Descend

where A: ?Sized + Eq + Type + Equivalent<A::Ref<'a>>, A::Ref<'a>: Eq,

impl<'a, T, C> StaticTypeRefEquivalentor<'a, T> for Reverse<C>

where C: StaticTypeRefEquivalentor<'a, T> + ?Sized, T: Type + ?Sized,