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

Start by running the reported swap example and inspect the isinstance(x, dict) guard and its reveal_type result. Trace how mypy narrows the TypeVar-parameterized Mapping, then verify that the narrowed type retains T and S and that the incorrect return is rejected.