subtype dict unpack

Bug Report

To Reproduce

from typing import Dict
a: Dict[int, str] = {}
b: Dict[object, str] = {object(): 'a', 'lol': 'b', **a}

Expected Behavior
no error

Actual Behavior
confusing error message Argument 1 to "update" of "dict" has incompatible type "Dict[int, str]"; expected "Mapping[object, str]" even though update method was not used

Your Environment

• Mypy version used: 0.812
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.7.3

報告されたスニペットを mypy 0.812 で再現し、辞書のアンパックによって dict.update を参照する診断がどのように生成されるかを追跡してください。この例でエラーが報告されないことを確認して修正を検証し、アンパックされた Dict[int, str] を対象とする回帰テストを追加してください。