redundant-expr does not work with TypeVar with multiple constraints

Bug Report
A TypeVar with multiple constraints can be seen as a union. However, the redundant-expr does not understand it and emits errors which are wrong.

To Reproduce

from typing import TypeVar

T = TypeVar("T", int, str)

def foo(var: T) -> T:
    return "aa" if isinstance(var, str) else 0

Expected Behavior

no error

Actual Behavior

foo.py:9:20: error: If condition is always false  [redundant-expr]
        return "aa" if isinstance(var, str) else 0
                       ^~~~~~~~~~~~~~~~~~~~
foo.py:9:20: error: If condition is always true  [redundant-expr]
        return "aa" if isinstance(var, str) else 0
                       ^~~~~~~~~~~~~~~~~~~~
Found 2 errors in 1 file (checked 1 source file)

Your Environment

• Mypy version used: 1.14.1
• Mypy command-line flags: --enable-error-code redundant-expr
• Python version used: 3.13.0

Beginne damit, das bereitgestellte TypeVar-Beispiel mit mypy 1.14.1 und --enable-error-code redundant-expr auszuführen. Verfolge anschließend die redundant-expr-Analyse für eingeschränkte TypeVars, füge dann einen Regressionstest hinzu, der zeigt, dass die isinstance-Prüfung keinen Fehler erzeugt, und führe die relevante Testsuite aus.