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.

issue では、ファイル、テスト、エントリポイントは特定されていません。まず mypy におけるリストリテラルの扱いと Literal 型推論を確認し、次に例に対して期待される動作を判断してください。完了とは、ループが意図した Literal 型で型チェックを通過し、関連するリグレッションカバレッジが存在することです。