Code unreachable according to mypyc but not according to mypy

[twoertwein]

Bug Report

Different behavior between mypy and mypyc.

To Reproduce

from pathlib import Path
from typing import TypeVar

PathNone = TypeVar("PathNone", Path, None)


def test(path: PathNone) -> PathNone:
    if path is None:
        return path  # is reachable
    return path / "test"

$ mypy test.py
Success: no issues found in 1 source file
$ mypyc test.py
test.py:9: error: Statement is unreachabl

Your Environment

• Mypy version used: 0.910
• Mypy command-line flags: -
• Mypy configuration options from pyproject.toml: warn_unreachable = true
• Python version used: 3.9.4
• Operating system and version: 4.13.0-36-generic

[twoertwein]

Works with 0.931