Reports invalid usages of type hints.
Example:
from typing import TypeVar T0 = TypeVar('T1') # Argument of 'TypeVar' must be 'T0' def b(p: int) -> int: # Type specified both in a comment and annotation # type: (int) -> int pass def c(p1, p2): # Type signature has too many arguments # type: (int) -> int pass
Available quick-fixes offer various actions. You can rename, remove, or move problematic elements. You can also manually modify type declarations to ensure no warning is shown.