JDK-8042343 : UniqueType cannot be safely used with HashMaps
  • Type: Bug
  • Component: tools
  • Sub-Component: javac
  • Affected Version: 9
  • Priority: P4
  • Status: Resolved
  • Resolution: Won't Fix
  • Submitted: 2014-05-02
  • Updated: 2014-11-12
  • Resolved: 2014-11-12
Related Reports
Blocks :  
JDK-8039840 - Fix deficiencies in isSameType
Relates :  
JDK-5053846 - javac: MethodRef entries are duplicated in the constant pool
Relates :  
JDK-8015927 - Class reference duplicates in constant pool
Description
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.
Comments
This isn't causing any problems in the compiler.
12-11-2014