报告 PEP 695 类型形参语法的无效用法

在函数和类定义以及新样式类型别名语句中查找以下问题：

• 在新样式泛型类中扩展 typing.Generic
• 在新样式泛型类中扩展形参化的 typing.Protocol
• 对 ParamSpec 和 TypeVarTuple 使用具有类型形参的泛型上限和约束
• 混合传统和新样式类型变量
• 在新样式类型别名中使用传统类型变量

示例：

from typing import Generic

class Example[T](Generic[T]): ... # 带有类型形参列表的类不应扩展 'Generic'

class Example[T: (list[S], str)]: ... # 在类型形参的约束和边界内不允许使用泛型类型

from typing import TypeVar

  K = TypeVar("K")

  class ClassC[V]:
      def method2[M](self, a: M, b: K) -> M | K: ... # 不允许混合使用传统和新样式 TypeVars