TypedDict does not treat union of string literals as a string literal

Bug Report

To Reproduce

https://mypy-play.net/?mypy=latest&python=3.14&gist=a2d228294e0a7a613472376043c62642

from typing import NotRequired, TypedDict


class Foo(TypedDict):
    key1: NotRequired[str]
    key2: NotRequired[int]


foo = Foo()
for key in "key1", "key2":
    reveal_type(key)
    del foo[key]

Expected Behavior

This should type check with no errors.

Actual Behavior

main.py:11: note: Revealed type is "Literal['key1']? | Literal['key2']?"
main.py:12: error: Expected TypedDict key to be string literal  [misc]
Found 1 error in 1 file (checked 1 source file)

Your Environment

• Mypy version used: 1.18.2
• Python version used: 3.14

Beginne damit, das Beispiel aus dem mypy-play-Link in main.py mit mypy 1.18.2 und Python 3.14 nachzustellen. Verfolge, wie die Prüfung auf das Löschen aus TypedDict die aufgedeckte Vereinigung von Zeichenkettenliteralen behandelt, und füge dann eine Testabdeckung für dieses Beispiel hinzu und verifiziere, dass es ohne Fehler typgeprüft wird.