31 Oct
2011
31 Oct
'11
3:41 p.m.
Andrew Sutton wrote:
None of this has anything to do with the fact that you want to require operator== to be an equivalence relation, and it doesn't have to be.
Realistically though, when is == not (at least) an equivalence relation?
Realistically, and in this context, when the two sides are not of the same type.