python · ambv · Jul 16, 2021 · Jul 15, 2021
@@ -663,6 +663,10 @@ def test_or_types_operator(self):
            x.__args__ = [str, int]
            (int | str ) == x

+    def test_hash(self):
+        self.assertEqual(hash(int | str), hash(str | int))
+        self.assertEqual(hash(int | str), hash(typing.Union[int, str]))
+
    def test_instancecheck(self):
        x = int | str
        self.assertIsInstance(1, x)

diff --git a/Misc/NEWS.d/next/Core and Builtins/2021-07-16-09-59-13.bpo-44646.Yb6s05.rst b/Misc/NEWS.d/next/Core and Builtins/2021-07-16-09-59-13.bpo-44646.Yb6s05.rst
@@ -0,0 +1,2 @@
+Fix the hash of the union type: it no longer depends on the order of
+arguments.
@@ -36,11 +36,13 @@ static Py_hash_t
 union_hash(PyObject *self)
 {
    unionobject *alias = (unionobject *)self;
-    Py_hash_t h1 = PyObject_Hash(alias->args);
-    if (h1 == -1) {
-        return -1;
+    PyObject *args = PyFrozenSet_New(alias->args);
+    if (args == NULL) {
+        return (Py_hash_t)-1;
    }
-    return h1;
+    Py_hash_t hash = PyObject_Hash(args);
+    Py_DECREF(args);
+    return hash;
 }

 static int
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		Fix the hash of the union type: it no longer depends on the order of
		arguments.