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.

Comienza con el reproductor en Python del issue y lee el comentario enlazado de Eric Traut sobre la discusión existente. Aclara la semántica prevista para desempaquetar una variable de tipo vinculada a un TypedDict y para las sobrescrituras mostradas; se considera terminado cuando el comportamiento y las reglas de tipado están especificados con suficiente claridad para guiar una implementación.