In order to work properly in HashMap/HashSet, UniqueType must have the property:
forall t1, t2. equals(t1,t2) => hashCode(t1) == hashCode(t2) .
This property doesn't hold.
forall t1, t2. equals(t1,t2) => hashCode(t1) == hashCode(t2) .
This property doesn't hold.
- is blocked by
-
JDK-8039840 Fix deficiencies in isSameType
- Closed
- relates to
-
JDK-8015927 Class reference duplicates in constant pool
- Closed
-
JDK-5053846 javac: MethodRef entries are duplicated in the constant pool
- Closed