False negative: isinstance() guard removes parameterisation by `TypeVar`

To Reproduce

mypy does not reject the following:

from collections.abc import Mapping
from typing import TypeVar

T = TypeVar("T")
S = TypeVar("S")

def swap(x: Mapping[T, S]) -> Mapping[S, T]:
    if isinstance(x, dict):
        return x
    else:
        raise Exception

Expected Behavior

After the type guard, reveal_type indicates that x has type dict[Any, Any]. As we're already in swap then it should actually have type dict[T, S].

As a result, no error is raised despite the above code being wrong.

Your Environment

• Mypy version used: 0.95.0
• Python version used: 3.10.0
• Operating system and version: Ubuntu 20.04 on WSL2 on Windows 10

まず報告された swap の例を実行し、isinstance(x, dict) ガードとその reveal_type の結果を調べます。mypy が TypeVar でパラメーター化された Mapping をどのように絞り込むかを追跡し、絞り込まれた型が T と S を保持していること、および誤った戻り値が拒否されることを確認します。