allow runtime-broken stuff under "if TYPE_CHECKING"

Feature

Sometimes mypy emits warnings because Python won't understand something at runtime. These shouldn't happen under if TYPE_CHECKING.

Pitch

In Python 3.7, the following code needs a type: ignore comment on the erroring line:

from __future__ import annotations
from typing import TYPE_CHECKING


if TYPE_CHECKING:
    Point = tuple[int, int]  # mypy error: "tuple" is not subscriptable


def foo(p: Point) -> None:
    print(p)

Beginne damit, das Python-3.7-Beispiel zu reproduzieren, und verfolge, wie mypy den if TYPE_CHECKING-Block verarbeitet. Das Ziel ist erreicht, wenn der zur Laufzeit ungültige Ausdruck tuple[int, int] innerhalb dieses Blocks keinen type: ignore-Kommentar mehr erfordert und die Annotation weiterhin verwendbar bleibt.