if MYPY guarding an always-return block v. unreachable

Bug Report

Given a block dependent on if MYPY, if it always returns, mypy will conclude that everything following is unreachable. This shouldn't be obviously different to using an else block.

To Reproduce

from typing import Any, cast

MYPY = False

def foo(p):
    # type: (Any) -> int
    doc = p
    if MYPY:
        return cast(int, doc)
    else:
        # needs to be in else for MYPY to believe this is reachable
        return doc

def bar(p):
    # type: (Any) -> int
    doc = p
    if MYPY:
        return cast(int, doc)
    return doc

Expected Behavior

Either both output [unreachable] or both type check successfully.

Actual Behavior

foo.py:19: error: Statement is unreachable  [unreachable]

i.e.: only bar fails to typecheck

Your Environment

• Mypy version used: 0.910
• Mypy command-line flags: --warn-unreachable
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.10.0
• Operating system and version: Arch Linux

ソースファイルもテストも指定されていません。まず mypy 0.910 と --warn-unreachable を使って例を再現し、その後、if MYPY ブロックと else ブロックでの到達可能性の処理を追跡してください。両方の同等な例が型チェックに成功するか、到達不能であることを一貫して報告すれば完了です。