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)

Start by running the provided example with Python and mypy's --warn-unreachable flag, comparing the warning after the context block with the expected behavior. Trace mypy's analysis of exceptions raised inside a context manager and verify that a context manager which catches the exception does not make the following statement unreachable.