Trait type_eq::TypeEq[−][src]

pub unsafe trait TypeEq<A, B> {
    fn as_eq(&self, a: A) -> B;
}

A trait that determines that two type parameters are the same type. There is only one implementation of this trait, Constrain, which ensures that all types satisfy the condition of being equal to themselves. There should not be a reason to implement this for other types, which is why it is marked as unsafe.

Required Methods

Implementors