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

Empieza ejecutando el ejemplo de swap informado e inspecciona la guarda isinstance(x, dict) y su resultado de reveal_type. Rastrea cómo mypy estrecha el Mapping parametrizado con TypeVar y verifica después que el tipo estrechado conserva T y S, y que se rechaza el retorno incorrecto.