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.

test.py の最小再現から始め、Python 3.6 で mypy foo.py を実行してください。結果が示された or 式で使用される場合に、型チェッカーが Mapping.get をどのように扱うかを追跡してください。例で互換性のない None 引数が報告されなくなり、同様の呼び出しに対する適切な型チェックが維持されていれば完了です。