Feature request: Allow unpacking of type variable bound to typed dict

I'd like to have a family of classes where overrides have additional parameters to various methods:

from typing import Generic, Unpack

from typing_extensions import TypedDict, TypeVar, override


class EmptyDict(TypedDict, total=True):
    pass


Extra = TypeVar('Extra', bound=TypedDict, default=EmptyDict)


class C(Generic[Extra]):
    def f(self, **kwargs: Unpack[Extra]) -> None:  # error: Expected TypedDict type argument for Unpack (reportGeneralTypeIssues)
        pass


class D(C):
    @override
    def f(self) -> None:  # error: Method "f" overrides class "C" in an incompatible manner
        pass


class HasName(TypedDict, total=True):
    name: str


class E(C[HasName]):
    @override
    def f(self, name: str) -> None:  # This doesn't work.
        print(name)



D().f()
E().f("a")

See @erictraut's instructive comment on the issue here.

Bắt đầu với reproducer bằng Python trong issue và đọc bình luận được Eric Traut liên kết về cuộc thảo luận hiện có. Làm rõ ngữ nghĩa dự kiến của việc unpack một biến kiểu bị ràng buộc với một TypedDict và của các override được nêu; được coi là hoàn tất khi hành vi và các quy tắc kiểu được đặc tả đủ rõ ràng để định hướng việc triển khai.