[Typing-sig] Re: Any way to express that a dict is expected to have a key(s) but don't care about other keys?

TypedDicts in general already allow extra keys to exist (because they support structural subtyping)

Could you elaborate on this? How would that look like currently?