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

Führe zunächst das gemeldete Swap-Beispiel aus und untersuche die isinstance(x, dict)-Prüfung sowie deren reveal_type-Ergebnis. Verfolge, wie mypy das durch TypeVar parametrisierte Mapping eingrenzt, und überprüfe anschließend, dass der eingegrenzte Typ T und S beibehält und dass die fehlerhafte Rückgabe abgelehnt wird.