On Wednesday, 23 July 2014 at 18:53:57 UTC, H. S. Teoh via Digitalmars-d wrote: > However, surely all orderable types are equality-comparable! just because 2 objects don't have a defined ordering between them doesn't mean they are equal in a more general sense. Yes it's a gotcha but I think it's a worthwhile one.