handle TypeVarTuple and ParamSpec for PEP 695 (#799)

Author: asottile

pyflakes/checker.py

@@ -2192,6 +2192,8 @@ def TYPEVAR(self, node):
         self.handleNodeStore(node)
         self.handle_annotation_always_deferred(node.bound, node)
 
+    PARAMSPEC = TYPEVARTUPLE = handleNodeStore
+
     def TYPEALIAS(self, node):
         self.handleNode(node.name, node)
         with self._type_param_scope(node):

pyflakes/test/test_type_annotations.py

@@ -780,3 +780,20 @@ class C[T](list[T]): pass
 
             T  # not accessible afterwards
         """, m.UndefinedName, m.UndefinedName)
+
+    @skipIf(version_info < (3, 12), 'new in Python 3.12')
+    def test_type_parameters_TypeVarTuple(self):
+        self.flakes("""
+        def f[*T](*args: *T) -> None: ...
+        """)
+
+    @skipIf(version_info < (3, 12), 'new in Python 3.12')
+    def test_type_parameters_ParamSpec(self):
+        self.flakes("""
+        from typing import Callable
+
+        def f[R, **P](f: Callable[P, R]) -> Callable[P, R]:
+            def g(*args: P.args, **kwargs: P.kwargs) -> R:
+                return f(*args, **kwargs)
+            return g
+        """)