Yes that would work!
However there might be types in the wild now that violate this. For instance this would mean that you can't implement both PartialEq<u32> and PartialEq<u64> for a type.
I have filed a PR to update the docs:
1 Like
I've had wrapper types that don't impose additional requirements on the wrapped data, and could have implemented Eq/Ord to compare themselves to the wrapped type.
This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.