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)

Comienza ejecutando el ejemplo proporcionado con Python y el indicador --warn-unreachable de mypy, comparando la advertencia posterior al bloque de contexto con el comportamiento esperado. Sigue el análisis de mypy de las excepciones producidas dentro de un gestor de contexto y verifica que un gestor de contexto que captura la excepción no haga que la instrucción siguiente sea inalcanzable.