equality operators on types

[Timon Gehr]

On 06/15/2012 02:19 PM, bearophile wrote:
> Timon Gehr:
>
>> Why not allow equality operators to operate on types?
>
> That's nice, of course. But is it possible?
>

Yes, certainly.