Dict update typing error, update Dict[Union[int, str], str] from Dict[int, str]

Bug Report

To Reproduce

from typing import Dict, Union

dict_a: Dict[Union[int, str], int] = {}
dict_b: Dict[int, int] = {}
dict_a.update(dict_b)
print(dict_a)

Expected Behavior

No mypy error. dict_b has stricter typing than dict_a, this update operation should be fine.
Actual Behavior

error: Argument 1 to "update" of "MutableMapping" has incompatible type "dict[int, int]"; expected "SupportsKeysAndGetItem[Union[int, str], int]"  [arg-type]

Your Environment

• Mypy version used: 1.5.1 (compiled: yes)
• Python version used: 3.9.16

Other Notes
updating items iteratively apparently has no issue.

from typing import Dict, Union

dict_a: Dict[Union[int, str], int] = {}
dict_b: Dict[int, int] = {}
for k, v in dict_b.items():
    dict_b[k] = v
print(dict_a)

Using Any of course has no issue too.

from typing import Any, Dict

dict_a: Dict[Any, int] = {}
dict_b: Dict[int, int] = {}
dict_a.update(dict_b)
print(dict_a)

Commencez par exécuter la reproduction Python avec mypy 1.5.1 et comparez l’erreur de mise à jour signalée avec l’exemple de mise à jour itérative. Suivez le typage utilisé pour MutableMapping.update et ajoutez un test de régression montrant que dict[int, int] peut mettre à jour Dict[Union[int, str], int] sans erreur.