From 9d4db96a9bab0ea247fc00d3c051dfa9a21d1294 Mon Sep 17 00:00:00 2001
From: Massimiliano Bruni <massimiliano.bruni@icloud.com>
Date: Sat, 18 Jul 2026 15:16:03 +0200
Subject: [PATCH] gh-153896: Deduplicate unhashable arguments in
 `typing.Literal` (GH-153914) (cherry picked from commit
 a53b5b126749133e50692fe0c3729f5580ee8500)

Co-authored-by: Massimiliano Bruni <massimiliano.bruni@icloud.com>
---
 Lib/test/test_typing.py                           | 10 ++++++++--
 Lib/typing.py                                     | 15 +++++++++------
 ...2026-07-18-10-52-10.gh-issue-153896.87oevp.rst |  1 +
 3 files changed, 18 insertions(+), 8 deletions(-)
 create mode 100644 Misc/NEWS.d/next/Library/2026-07-18-10-52-10.gh-issue-153896.87oevp.rst

diff --git a/Lib/test/test_typing.py b/Lib/test/test_typing.py
index 0c57c83491042df..986b41b18a2acc1 100644
--- a/Lib/test/test_typing.py
+++ b/Lib/test/test_typing.py
@@ -2796,8 +2796,14 @@ def test_args(self):
         self.assertEqual(Literal[1, 2, 3].__args__, (1, 2, 3))
         self.assertEqual(Literal[1, 2, 3, 3].__args__, (1, 2, 3))
         self.assertEqual(Literal[1, Literal[2], Literal[3, 4]].__args__, (1, 2, 3, 4))
-        # Mutable arguments will not be deduplicated
-        self.assertEqual(Literal[[], []].__args__, ([], []))
+        # Unhashable arguments will be deduplicated too
+        self.assertEqual(Literal[[], []].__args__, ([],))
+        self.assertEqual(Literal[{"a": 1}, {"a": 1}].__args__, ({"a": 1},))
+        self.assertEqual(
+            Literal[1, {'a': 'b'}, 2, {'a': 'b'}, 3].__args__,
+            (1, {'a': 'b'}, 2, 3),
+        )
+        self.assertEqual(Literal[{1}, {1}, {2}, {2}].__args__, ({1}, {2}))
 
     def test_flatten(self):
         l1 = Literal[Literal[1], Literal[2], Literal[3]]
diff --git a/Lib/typing.py b/Lib/typing.py
index 8b17cbbae2f6ec6..5b764419d8afaa7 100644
--- a/Lib/typing.py
+++ b/Lib/typing.py
@@ -788,13 +788,16 @@ def open_helper(file: str, mode: MODE) -> str:
     # There is no '_type_check' call because arguments to Literal[...] are
     # values, not types.
     parameters = _flatten_literal_params(parameters)
+    value_and_type_parameters = list(_value_and_type_iter(parameters))
+    deduplicated_parameters = tuple(
+        p
+        for p, _ in _deduplicate(
+            value_and_type_parameters,
+            unhashable_fallback=True,
+        )
+    )
 
-    try:
-        parameters = tuple(p for p, _ in _deduplicate(list(_value_and_type_iter(parameters))))
-    except TypeError:  # unhashable parameters
-        pass
-
-    return _LiteralGenericAlias(self, parameters)
+    return _LiteralGenericAlias(self, deduplicated_parameters)
 
 
 @_SpecialForm
diff --git a/Misc/NEWS.d/next/Library/2026-07-18-10-52-10.gh-issue-153896.87oevp.rst b/Misc/NEWS.d/next/Library/2026-07-18-10-52-10.gh-issue-153896.87oevp.rst
new file mode 100644
index 000000000000000..217a3d3d272ed07
--- /dev/null
+++ b/Misc/NEWS.d/next/Library/2026-07-18-10-52-10.gh-issue-153896.87oevp.rst
@@ -0,0 +1 @@
+Deduplicate unhashable args in :data:`typing.Literal`.