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