Trait type_eq::TypeEq

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

There are no situations where you should implement this trait except for the one impl for Constrain, which connects all

Required Methods

fn as_eq(&self, a: A) -> B

Implementors

• impl<A> TypeEq<A, A> for Constrain