Recognize list of constant values as a list of str.

Feature
I wish mypy is recognized list of constant values as a list of literal types.

Pitch
There are example code.

from typing import Literal, Dict
values: Dict[Literal["from", "to", "cc"], str] = {}

# key should be recognized Literal["from","to", "cc"] instead of str
for key in ["from", "to", "cc"]: 
    values[key] = key # Now, this line will be error in order to recognize key as a str.

Im Issue werden keine Dateien, Tests oder Einstiegspunkte genannt. Beginne damit, mypy's Behandlung von Listenliteralen und die Typinferenz für Literal zu untersuchen, und ermittle anschließend das erwartete Verhalten für das Beispiel; abgeschlossen ist die Aufgabe, wenn die Schleife mit den beabsichtigten Literal-Typen typgeprüft wird und eine relevante Regressionstestabdeckung vorhanden ist.