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 を混在させることはできません