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.

Commencez par le cas de reproduction en Python de l’issue et lisez le commentaire vers lequel Eric Traut renvoie au sujet de la discussion existante. Clarifiez la sémantique prévue pour le déballage d’une variable de type liée à un TypedDict et pour les redéfinitions présentées ; le travail est terminé lorsque le comportement et les règles de typage sont spécifiés avec suffisamment de clarté pour guider une implémentation.