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)

Beginne damit, das bereitgestellte Beispiel mit Python und dem Flag --warn-unreachable von mypy auszuführen und die Warnung nach dem Kontextblock mit dem erwarteten Verhalten zu vergleichen. Verfolge mypys Analyse von Ausnahmen, die innerhalb eines Kontextmanagers ausgelöst werden, und überprüfe, dass ein Kontextmanager, der die Ausnahme abfängt, die folgende Anweisung nicht als unerreichbar kennzeichnet.