UniqueType cannot be safely used with HashMaps

XMLWordPrintable

    • Type: Bug
    • Resolution: Won't Fix
    • Priority: P4
    • 9
    • Affects Version/s: 9
    • Component/s: tools
    • None

      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.

            Assignee:
            Paul Govereau (Inactive)
            Reporter:
            Paul Govereau (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: