Cannot call dict.get with a falsy second argument and an 'or' expression.

In mypy 0.610, as well as the latest version from master, the following throws an error under Python 3.6

def foo(a: str):
    pass


d = {'key': 'a'}
foo(d.get('key', None) or '26')

test.py:6: error: Argument 2 to "get" of "Mapping" has incompatible type "None"; expected "str"

However, no matter what, foo will still receive a str, given that None is falsy. Therefore, no error should be thrown. This occurs with just a simple call to mypy foo.py with no flags.

Inizia con la riproduzione minima in test.py ed eseguila con mypy foo.py su Python 3.6. Traccia il modo in cui il type checker gestisce Mapping.get quando il suo risultato viene usato nell’espressione or mostrata. Il lavoro è completato quando l’esempio non segnala più un argomento None incompatibile, mantenendo al contempo un controllo dei tipi appropriato per chiamate simili.