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)

まず Python 3.7 の例を再現し、mypy が if TYPE_CHECKING ブロックをどのように処理するかを追跡します。そのブロック内の実行時に無効な式 tuple[int, int] に type: ignore コメントが不要になり、アノテーションを引き続き使用できれば完了です。