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

Reproduce el fragmento reportado con mypy 0.812 y rastrea cómo el desempaquetado de diccionarios produce el diagnóstico que hace referencia a dict.update. Confirma la corrección asegurándote de que este ejemplo no informe ningún error y añade una prueba de regresión que cubra el Dict[int, str] desempaquetado.