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)

Commencez par exécuter l’exemple fourni avec Python et l’option --warn-unreachable de mypy, en comparant l’avertissement après le bloc de contexte avec le comportement attendu. Suivez l’analyse par mypy des exceptions levées à l’intérieur d’un gestionnaire de contexte et vérifiez qu’un gestionnaire de contexte qui intercepte l’exception ne rend pas l’instruction suivante inaccessible.