Test PEP 695 type parameters

oxan · Oct 19, 2023 · bc1eb91 · bc1eb91
1 parent 2c1a679
commit bc1eb91
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/tests/test_py312.py b/tests/test_py312.py
@@ -21,3 +21,15 @@ class Hinted:
         self.assertEqual(hints['a'], str)
         self.assertEqual(hints['b'], list[str])
         self.assertEqual(typing.get_origin(hints['c']), list)
+
+    def test_typevar_pep695(self):
+        type GenericList[T: str] = list[T]
+        def fn() -> GenericList:
+            pass
+
+        tp = typing_utils.get_resolved_type_hints(fn)['return']
+
+        self.assertTrue(typing_utils.is_iterable_type(tp))
+        element_type = typing_utils.get_iterable_element_type(tp)
+        self.assertTrue(typing_utils.is_type_variable(element_type))
+        self.assertEqual(typing_utils.get_type_variable_substitution(element_type), str)