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

Comienza ejecutando mypy sobre la reproducción de TypeVar proporcionada y confirma el error informado en el retorno de Hello(). Sigue el recorrido de comprobación de tipos para TypeVars restringidos y el estrechamiento mediante isinstance; se considera terminado cuando el ejemplo no produce problemas, tal como se describe en Expected Behavior.