Invalid usage of new-style type parameters and type aliases

Reports invalid usage of PEP 695 type parameter syntax

Finds the following problems in function and class definitions and new-style type alias statements:

Extending typing.Generic in new-style generic classes
Extending parameterized typing.Protocol in new-style generic classes
Using generic upper bounds and constraints with type parameters for ParamSpec and TypeVarTuple
Mixing traditional and new-style type variables
Using traditional type variables in new-style type aliases

Examples:

  from typing import Generic

  class Example[T](Generic[T]): ... # Classes with type parameter list should not extend 'Generic'

  class Example[T: (list[S], str)]: ... # Generic types are not allowed inside constraints and bounds of type parameters

  from typing import TypeVar

  K = TypeVar("K")

  class ClassC[V]:
      def method2[M](self, a: M, b: K) -> M | K: ... # Mixing traditional and new-style TypeVars is not allowed

Locating this inspection

By ID

Can be used to locate inspection in e.g. Qodana configuration files, where you can quickly enable or disable it, or adjust its settings.

PyNewStyleGenericSyntaxInspection

Via Settings dialog

Path to the inspection settings via IntelliJ Platform IDE Settings dialog, when you need to adjust inspection settings directly from your IDE.

Settings or Preferences | Editor | Inspections | Python

Availability

By default bundled with: DataSpell 2024.1, IntelliJ IDEA 2024.1, PyCharm 2024.1, Qodana for JVM 2024.1,
Can be installed with plugin: Python Community Edition, 241.SNAPSHOT

Last modified: 18 June 2024