https://issues.dlang.org/show_bug.cgi?id=13936
--- Comment #11 from bearophile_h...@eml.cc --- (In reply to Andrei Alexandrescu from comment #10) > 1. I think we shouldn't care about non-equivalence relations. Most tasks > people do are relational-inspired operations using equivalence relations. > All APIs I know of only support equivalence relations. It would take a lot > of evidence to default the other way. For the time being I am explicitly > opposed to supporting non-relational predicates if that complicates anything > in any way. This was discussed in the pull request. I suggest you to take a look at those discussions. You can't ignore those discussions. --