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

Riproduci lo snippet segnalato con mypy 0.812 e traccia il modo in cui l’unpacking dei dizionari produce la diagnostica che fa riferimento a dict.update. Conferma la correzione assicurandoti che questo esempio non segnali alcun errore e aggiungi un test di regressione che copra il Dict[int, str] sottoposto a unpacking.