added generic type check

Author: randolf-scholz

Lib/test/test_patma.py

@@ -3318,6 +3318,25 @@ def test_mapping_pattern_duplicate_key_edge_case3(self):
 
 class TestTypeErrors(unittest.TestCase):
 
+    def test_generic_type(self):
+        t = list[str]
+        w = None
+        with self.assertRaises(TypeError):
+            match ["s"]:
+                case t():
+                    w = 0
+        self.assertIsNone(w)
+
+    def test_legacy_generic_type(self):
+        from typing import List
+        t = List[str]
+        w = None
+        with self.assertRaises(TypeError):
+            match ["s"]:
+                case t():
+                    w = 0
+        self.assertIsNone(w)
+
     def test_accepts_positional_subpatterns_0(self):
         class Class:
             __match_args__ = ()
@@ -3450,6 +3469,16 @@ def test_patma_legacy_union_type(self):
                     w = 0
         self.assertIsNone(w)
 
+    def test_generic_union_type(self):
+        from typing import List
+        t = list[str] | List[str]
+        w = None
+        with self.assertRaises(TypeError):
+            match ["s"]:
+                case t():
+                    w = 0
+        self.assertIsNone(w)
+
     def test_regular_protocol(self):
         from typing import Protocol
         class P(Protocol): ...