mypy does not warn about incorrect default value in dict.get in some case

It seems that mypy should actually warn about the assignment of the set in the following code:

from typing import Dict, Any

params: Dict[str, Any] = {}
a: Dict[str, Any] = params.get("abc", set())
reveal_type(a)

mypy does not warn about the incorrect assignment of Set to a but correctly reveals that the type of a is Dict[str, Any]. Sadly the use of Any in this case is common as these dicts represent complex configuration files.

Tested with the current git master version.

Beginne mit dem minimalen Python-Beispiel im Issue und führe mypy aus, um zu bestätigen, dass der inkompatible set()-Standardwert für die Zuweisung Dict[str, Any] nicht gemeldet wird. Verfolge anschließend das Type-Checking-Verhalten von dict.get und Any und ergänze Tests, die zeigen, dass dieser Fall eine Warnung erzeugt, während der angezeigte Typ weiterhin angemessen bleibt.