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를 혼용할 수 없습니다