False positive error "incompatible type" on bound TypeVar

Originally posted on gitter july 29th, where it was suggested I open a bug report

Bug Report
For this code:

from typing import Generic, TypeVar, Union

ListT = TypeVar("ListT", str, float)


class TestListA(Generic[ListT]):
    def __init__(self, device: ListT) -> None:
        self._device: ListT = device


class TestListB(TestListA[ListT]):
    def __init__(self, device: ListT) -> None:
        super().__init__(device)

mypy outputs error:

test.py:13: error: Argument 1 to "__init__" of "TestListA" has incompatible type "str"; expected "ListT"  [arg-type]
test.py:13: error: Argument 1 to "__init__" of "TestListA" has incompatible type "float"; expected "ListT"  [arg-type]

which is false positive.

Please note that when using a TypeVar with bound=Union, then mypy doesn't complain.

ListT = TypeVar("ListT", bound=Union[str, float])

Your Environment

• Mypy version used: mypy 0.971 (compiled: yes)
• Mypy command-line flags:
• Mypy configuration options from mypy.ini (and other config files):
• Python version used: Python 3.9.12
• Operating system and version:

Bắt đầu bằng cách tái hiện ví dụ TestVar được cung cấp với mypy 0.971, sau đó so sánh hành vi TypeVar bị ràng buộc của nó với biến thể bound=Union. Xác định đường dẫn kiểm tra kiểu cho TestListB.init và bổ sung phạm vi kiểm thử hồi quy cho các chẩn đoán dương tính giả. Được xem là hoàn tất khi ví dụ bị ràng buộc vượt qua mà không có lỗi, trong khi các lời gọi không tương thích vẫn được chẩn đoán.