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

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

示例:


  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