Generic type variable not unified with specific bound type.

Bug Report

In g below, argument types of different versions of x.f from different bounds of T cross-contaminate. When T is A, x.f can only accept A = T. Likewise, when T is B, x.f can only accept B = T. Hence the code is correct. However, mypy seems to believe that T can somehow be both A and B at simultaneously.

To Reproduce

https://mypy-play.net/?mypy=latest&python=3.11&gist=a92693b3d619e1a11011b86a7cee1ce2

from typing import TypeVar, Generic

class A:
    def f(self, other: A) -> None:
        ...

class B:
    def f(self, other: B) -> None:
        ...

T = TypeVar('T', bound = A | B)

def g(x: T) -> None:
    x.f(x)

Expected Behavior

g typechecked successfully.

Actual Behavior

g fails typechecking:

main.py:14: error: Argument 1 to "f" of "A" has incompatible type "T"; expected "A"  [arg-type]
main.py:14: error: Argument 1 to "f" of "B" has incompatible type "T"; expected "B"  [arg-type]

Your Environment

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

Empieza ejecutando la reproducción enlazada de mypy-play con mypy 1.5.0 y las flags predeterminadas; después, compara los errores informados con la comprobación de tipos exitosa esperada para g. Rastrea el manejo de la variable de tipo detrás de la llamada x.f(x); el trabajo estará terminado cuando este ejemplo pase la comprobación de tipos sin los errores de argumentos incompatibles de A y B y se haya añadido cobertura de regresión.