2 Nov
2011
2 Nov
'11
1:56 a.m.
But I'm not requiring both sides to be the same -- only related.
I'm not sure how you're doing that. I thought that this was about using the EqualityComparable standard requirement, which does require the two sides of == to be of the same type, and == to be an equivalence relation.
The standard does not say that about EqualityComparable. 17.6.3.1 [utility.arg.requirements] only says that a == b is convertible to bool and is an equivalence relation.