(🎁) Narrow dict(`TypedDict`?) entry on item assignment

from typing import TypedDict

class Data(TypedDict):
    a: int | None
    
d1: Data
d1['a'] = 1
d1['a'] + 1  # error: None doesn't have +

d2: Data
d2['a'] = 1
assert isinstance(d2['a'], int)
d2['a'] + 1  # no error

d3: dict[str, int | None]
d3['a'] = 1
d3['a'] + 1  # error: None doesn't have +

d4: dict[str, int | None]
d4['a'] = 1
assert isinstance(d4['a'], int)
d4['a'] + 1  # no error

Is this intentional, in that assignment doesn't narrow because a custom dict subtype could modify __setitem__ to not set/set the item to something else? If so then the narrowing should apply to TypedDicts, because they are always vanilla dicts.

In der Issue wird keine Implementierungsdatei und kein Test genannt. Beginne damit, die vier Beispiele für Zuweisungen an TypedDict und dict zu reproduzieren, und verfolge anschließend das Verhalten von mypy bei der Typverengung durch Zuweisungen; als erledigt gilt die Aufgabe, wenn das beabsichtigte TypedDict-Ergebnis konsistent bestimmt und durch einen Regressionstest abgedeckt ist.