Crate type_eq

Structs

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.

Traits

Has	Type-level properties
TypeEq	There are no situations where you should implement this trait except for the one impl for Constrain, which connects all