gh-115165: Fix Annotated for immutable types

Lib/test/test_typing.py

@@ -8756,6 +8756,16 @@ class B(str): ...
         self.assertIs(type(field_c2.__metadata__[0]), float)
         self.assertIs(type(field_c3.__metadata__[0]), bool)
 
+    def test_annotated_callable_returning_immutable(self):
+        class C:
+            def __setattr__(self, name, value):
+                raise Exception('should be ignored')
+
+        class A(str): ...
+
+        annotated = Annotated[C, A("A")]
+        self.assertIsInstance(annotated(), C)
+
 
 class TypeAliasTests(BaseTestCase):
     def test_canonical_usage_with_variable_annotation(self):

Lib/typing.py

@@ -1127,7 +1127,7 @@ def __call__(self, *args, **kwargs):
         result = self.__origin__(*args, **kwargs)
         try:
             result.__orig_class__ = self
-        except AttributeError:
+        except Exception:
             pass
         return result
 

Misc/NEWS.d/next/Library/2024-02-09-07-20-16.gh-issue-115165.yfJLXA.rst

@@ -0,0 +1,3 @@
+``typing.Annotated`` ignores exceptions when setting the ``__orig_class__``
+attribute on objects returned from a callable. Previously only ``TypeError``
+was ignored.