Trait type_eq::TypeEq [−][src]
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