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

Reproduisez l’extrait signalé avec mypy 0.812 et suivez comment le déballage de dictionnaires produit le diagnostic faisant référence à dict.update. Confirmez la correction en vous assurant que cet exemple ne signale aucune erreur et ajoutez un test de régression couvrant le Dict[int, str] déballé.