ProtoObject and comparison for equality and ordering

[Mike Franklin]

On Wednesday, 15 May 2019 at 00:15:38 UTC, Andrei Alexandrescu 
wrote:

>> Thinking about this a little more, why would the compiler even 
>> allow comparing two types that aren't comparable?  Shouldn't 
>> that be a compiler error?
>
> Their dynamic types may be comparable.

Then shouldn't the author be using their comparable dynamic types 
explicitly when performing a comparison?