On Saturday, 13 May 2017 at 15:05:02 UTC, Stanislav Blinov wrote: > In this case, typeof(a) should not be the same as typeof(b), > which can be handled correctly by opCmp. Now you are trolling me. ;-) Obviously a and b share the same type. They are sets.