Claude
682b7b067c
Co-Authored-By: Claude Sonnet 5.5 <[email protected]> Claude-Session: https://claude.ai/code/session_017ic4b66uwsWr9B1ouyrzUh
18 lines
448 B
Plaintext
18 lines
448 B
Plaintext
== Reflexive / null ==
|
|
p.equals(p) = true
|
|
p.equals(null) = false
|
|
|
|
== Symmetry broken by instanceof + extra field ==
|
|
plain.equals(red) = true
|
|
red.equals(plain) = false
|
|
List.of(plain).contains(red) = false
|
|
List.of(red).contains(plain) = true
|
|
|
|
== Transitivity broken by the lenient fix ==
|
|
r.equals(plain) = true
|
|
plain.equals(b) = true
|
|
r.equals(b) = false
|
|
|
|
== Consistency broken by a changing equals() ==
|
|
f.equals(f2) x4 = true false true false
|