False positive unreachable statement after exception raised within context block

import contextlib
from typing import Iterator

@contextlib.contextmanager
def context_func() -> Iterator[None]:
    try:
        yield
    except Exception:
        pass

def foo() -> None:
    with context_func():
        raise Exception

    print("xxx")  # mypy: Statement is unreachable

Since context managers can silence exceptions, I don't think mypy should consider statements after the context to be unreachable due to exceptions which might be raised within the context.

Flags needed: --warn-unreachable.

Python 3.6, mypy 0.770, also master (at 2a3de7b7941f24b6bc53fe0cf8a2b7f8f7fd4e15)

まず、Python と mypy の --warn-unreachable フラグを使って提供された例を実行し、コンテキストブロックの後に出る警告を期待される動作と比較します。コンテキストマネージャー内で発生した例外に対する mypy の解析を追跡し、例外を捕捉するコンテキストマネージャーによって、後続の文が到達不能にならないことを確認します。