在嵌套数据结构中时，mypy 未检测到泛型类型不匹配

如何解决在嵌套数据结构中时，mypy 未检测到泛型类型不匹配

我遇到过这样一种情况，在嵌套结构中使用泛型时，mypy 似乎无法检测到类型不匹配。

T = TypeVar('T')


class Constructable(ABC,Generic[T]):

    def __init__(self,parameter: T):
        pass


class ConstructableWithInt(Constructable[int]):
    pass


class TypeContainer(Generic[T]):
    constructable: Type[Constructable[T]]

    def __init__(
            self,constructable: Type[Constructable[T]]
    ):
        self.constructable = constructable


class ConstructionTuple(Generic[T]):
    constructable: TypeContainer[T]
    parameter: T

    def __init__(self,spec: TypeContainer[T],parameter: T):
        self.spec = spec
        self.parameter = parameter


class ConstructableTupleWrapper(Generic[T]):
    constructable_tuple: ConstructionTuple[T]

    def __init__(self,constructable_tuple: ConstructionTuple[T]):
        self.constructable_tuple = constructable_tuple


constructable_with_int_wrapper = TypeContainer(
    constructable=ConstructableWithInt,)

# this leads to an error in mypy due to mismatch of `str` and `int`
mismatching_int_and_string_directly = ConstructionTuple(
    spec=constructable_with_int_wrapper,parameter="5"
)

mismatching_int_and_string_within_wrapper = ConstructableTupleWrapper(
    # this produces no error,even though it has the same mismatch
    constructable_tuple=ConstructionTuple(
        spec=constructable_with_int_wrapper,parameter="5"
    )
)

我是否使用了泛型错误，或者这可能是 [python generics / mypy] 中的一个错误？