isinstance check widens type

• 2025-02-14: reproduced using mypy 1.15 and python 3.13 mypy-playground
• 2023-02-14: reproduced using mypy 1.0 and python 3.11 mypy-playground

from collections.abc import Collection, Mapping

def f(x: int | Collection[int] | Mapping[str, int]) -> int:
    r"""Recursively sum up all the values of possibly nested data."""
    if isinstance(x, int):
        return x
    if isinstance(x, Mapping):
        return sum(f(y) for y in x.values())

    reveal_type(x)   # <- Here, mypy thinks this is Collection only!

    if isinstance(x, Collection):
        reveal_type(x)  # <- Suddenly mypy thinks this is Collection | Mapping
        return sum(f(y) for y in x)  # ❌ "f" has incompatible type "int | str"
    raise TypeError(f"unsupported type: {type(x)}")

Bắt đầu bằng cách chạy reproducer được cung cấp trong các ví dụ mypy-playground được liên kết, với các phiên bản mypy và Python được liệt kê, sau đó theo dõi cách các kiểm tra isinstance thu hẹp x sau nhánh Mapping. Được xem là hoàn tất khi nhánh Collection thu hẹp x một cách nhất quán và lời gọi f được minh họa vượt qua kiểm tra kiểu mà không có lỗi int | str không tương thích.