[][src]Crate is_type

Equality constraints for types

is_type gives the trait Is<X> which acts like an equality constraint.

There's also functions to move between these two equivalent types, as Rust will still not realise these types are

The constraint X : Is<Y> requires that X == Y.

The idea was stolen from this comment on equality constraints in where clauses which contains an example use case.

Note that whilst I'd like the trait Is to have the where condition: where Self : From<Self::Type> the Rust compiler doesn't like the self referential nature of this.

Traits

Is