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.

Beginne mit dem Python-Reproduktionsbeispiel im Issue und lies den verlinkten Kommentar von Eric Traut zur bestehenden Diskussion. Kläre die beabsichtigte Semantik für das Entpacken einer an ein TypedDict gebundenen Typvariable und für die gezeigten Überschreibungen; als abgeschlossen gilt, dass Verhalten und Typisierungsregeln klar genug spezifiziert sind, um eine Implementierung anzuleiten.