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

Reproduziere das gemeldete Snippet mit mypy 0.812 und verfolge, wie das Entpacken von Dictionaries die auf dict.update verweisende Diagnose erzeugt. Bestätige den Fix, indem du sicherstellst, dass dieses Beispiel keinen Fehler meldet, und füge einen Regressionstest hinzu, der das entpackte Dict[int, str] abdeckt.