warn-unreachable false-positive when method updates attribute after assert

Consider the following code:

from dataclasses import dataclass


@dataclass
class Foo:
    value: int
    modified: bool = False

    def update(self) -> None:
        self.value += 1
        self.modified = True


foo = Foo(42)
assert not foo.modified
foo.update()
assert foo.modified
print("Reached")

When this is run, the print("Reached") line is reached, but mypy doesn't seem to realize that. Running mypy --warn-unreachable --pretty on the above code gives:

unreachable03.py:18: error: Statement is unreachable
    print("Reached")
    ^
Found 1 error in 1 file (checked 1 source file)

Your Environment

• Mypy version used: both v0.931 and the GitHub version as of commit 48d810d5ed25f898d4f220a7476b6b267c289b9a
• Mypy command-line flags: --warn-unreachable --pretty
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.9.9
• Operating system and version: macOS 11.6

提供された dataclass の例を mypy --warn-unreachable --pretty で使って報告を再現し、2つのアサーションと foo.update() の周辺で行われる到達不能コードの解析を追跡してください。この例の回帰テストを追加し、print("Reached") が到達不能として報告されなくなったことを確認してください。