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:

まず、提供された TestVar の例を mypy 0.971 で再現し、次に、その制約付き TypeVar の動作を bound=Union バリアントと比較します。TestListB.init の型チェック経路を特定し、誤検出の診断に対する回帰テストのカバレッジを追加します。制約付きの例がエラーなしで通過し、互換性のない呼び出しについては引き続き診断されれば完了です。