Reports type errors in function call expressions, targets, and return values. In a dynamically typed language, this is possible in a limited number of cases.

Types of function parameters can be specified in docstrings or in Python 3 function annotations.

Example:


def foo() -> int:
    return "abc" # Expected int, got str


a: str
a = foo() # Expected str, got int

With the quick-fix, you can modify the problematic types:


def foo() -> str:
    return "abc"


a: str
a = foo()