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)

Inizia eseguendo l’esempio fornito con Python e il flag --warn-unreachable di mypy, confrontando l’avviso dopo il blocco di contesto con il comportamento previsto. Traccia l’analisi di mypy delle eccezioni sollevate all’interno di un gestore di contesto e verifica che un gestore di contesto che intercetta l’eccezione non renda irraggiungibile l’istruzione successiva.