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

No se especifica ningún archivo fuente ni ninguna prueba. Primero reproduce el ejemplo con mypy 0.910 y --warn-unreachable; después, sigue el tratamiento de la alcanzabilidad para un bloque if MYPY frente a un bloque else. Se considera terminado cuando ambos ejemplos equivalentes pasan la comprobación de tipos correctamente o informan de forma coherente que son inalcanzables.