generic subclasss and typevar with constraint

Not sure if this is a "bug" or I didn't understand generics, but

import typing

T = typing.TypeVar('T', str, int)


class Base(typing.Generic[T]):

    def __init__(self, bar: T):
        self.bar: T = bar


class Child(Base[T]):

    def __init__(self, bar: T):
        super().__init__(bar)

mypy 0.720 (on windows) says

> mypy.exe test\__init__.py
test\__init__.py:15: error: Argument 1 to "__init__" of "Base" has incompatible type "str"; expected "T"
test\__init__.py:15: error: Argument 1 to "__init__" of "Base" has incompatible type "int"; expected "T"

but if I change the T definition to T = typing.TypeVar('T') the errors go away

What I want is to specify that

• the "Base" constructor has a parameter that could be an int or a str
• the "Child" constructor has the same "signature" of the "Base" one (well, this is a simplified example, I want something more...)

is this a bug? di I misinterpreted the TypeVar usage?

Tái hiện ví dụ trong test_init_.py bằng mypy 0.720, so sánh TypeVar có ràng buộc với phiên bản không có ràng buộc. Đọc các path liên quan đến generic và kiểm tra TypeVar, sau đó xác định liệu chẩn đoán được báo cáo có phải là kết quả được mong đợi hay không; hoàn tất khi hành vi được ghi lại hoặc một regression test được thêm vào và được sửa nếu đó là một bug.