On 7/25/2014 1:02 AM, Jacob Carlborg wrote: > 3. If opCmp is defined but no opEquals, lhs == rhs will be lowered to > lhs.opCmp(rhs) == 0 This is the sticking point. opCmp and opEquals are separate on purpose, see Andrei's posts.