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

Inizia eseguendo la riproduzione collegata di mypy-play con mypy 1.5.0 e i flag predefiniti, quindi confronta gli errori segnalati con il controllo dei tipi riuscito previsto per g. Traccia la gestione della variabile di tipo alla base della chiamata x.f(x); il lavoro è completo quando questo esempio supera il controllo dei tipi senza gli errori di argomenti incompatibili di A e B, con l’aggiunta della copertura di regressione.