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.

Inizia con l’esempio Python minimale nell’issue ed esegui mypy per confermare che il valore predefinito incompatibile set() non venga segnalato per l’assegnazione Dict[str, Any]. Traccia il comportamento del controllo dei tipi di dict.get e Any, quindi aggiungi una copertura che mostri che questo caso produce un avviso mentre il tipo rivelato rimane appropriato.