Struct type_eq::Constrain

pub struct Constrain;

A convenience struct for applying implementing TypeEq trait. Since the trait connects two types, this allows neither to be Self, and prevents issues with asymmetry.

Trait Implementations

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

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