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.

Beginne mit der minimalen Reproduktion in test.py und führe sie mit mypy foo.py unter Python 3.6 aus. Verfolge, wie der Type Checker Mapping.get behandelt, wenn sein Ergebnis im gezeigten or-Ausdruck verwendet wird. Als erledigt gilt die Aufgabe, wenn das Beispiel kein inkompatibles None-Argument mehr meldet und gleichzeitig eine angemessene Typprüfung für ähnliche Aufrufe erhalten bleibt.