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)