This is a contradiction: if Comparable
were implemented this way, then all instances of the same case
with different associated values must compare as equal. But Comparable
inherits from Equatable
, whose derived definition of ==
is that instances are equal based on the pairwise equality of their associated values (when they are all Equatable
).
6 Likes