Wrong 'incompatible return value type' when using TypeVar with constraints

Bug Report

Mypy throws an error where everything should be alright.

To Reproduce

from typing import TypeVar

class Hello:
    pass

class World:
    pass

HelloWorld = TypeVar("HelloWorld", Hello, World)

def fn(x: HelloWorld) -> HelloWorld:
    if isinstance(x, Hello):
        return Hello()
    if isinstance(x, World):
        return World()

Expected Behavior

No issues found.

Actual Behavior

Got error in line "return Hello()":

error: Incompatible return value type (got "Hello", expected "World")

Your Environment

• Mypy version used: 0.961
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files):

[mypy]
plugins = numpy.typing.mypy_plugin
show_absolute_path = True

[mypy-numpy]
ignore_errors = True

[mypy-numpy.*]
ignore_errors = True

• Python version used: 3.9.12
• Operating system and version: Ubuntu 22.04

Beginne damit, mypy auf der bereitgestellten TypeVar-Reproduktion auszuführen, und bestätige den gemeldeten Fehler beim Rückgabewert von Hello(). Verfolge den Typprüfpfad für eingeschränkte TypeVars und die Eingrenzung durch isinstance; abgeschlossen ist die Aufgabe, wenn das Beispiel wie unter Expected Behavior beschrieben keine Probleme erzeugt.