March 4, 2023
11:44 a.m.
I actually have another comment: should this new syntax be for `TypedMapping` instead of `TypedDict`? `TypedMapping` was proposed in PEP 705: https://github.com/python/peps/pull/2997 I don't know how common it is to mutate these one-off TypedDicts that this is aimed at.