Andrei Alexandrescu wrote: > Consider two objects a and b with a of class type. Currently, the > expression a == b is blindly rewritten as a.opEquals(b). I argue it > should be rewritten into a call to an (imaginary/inlined) function > equalObjects(a, b) Definitely!