The different type (`str`) of unpacked inner dictionary items from the type (`int`) of outer dictionary items gets error

*Memo:

• mypy test.py
• Python 3.14.0
• mypy 1.19.1

The different type (str) of unpacked inner list items from the type (int) of outer list items doesn't get error as shown below:

v = [0, 1, *['a', 'b']] # No error

The different type (str) of unpacked inner dictionary items from the type (int) of outer dictionary items gets the error as shown below:

v = {0: 1, **{'a':'b'}} # Error

error: Cannot infer value of type parameter "KT" of

In additioin, if the types of keys in an inter and outer dictionary are the same, error doesn't occur as shown below:

v1 = {0: 1, **{2:'b'}}
v2 = {'0': 1, **{'a':'b'}}
# No error

Commencez par les exemples minimaux de test.py et exécutez mypy sur Python 3.14.0 afin de reproduire les diagnostics différents pour le dépaquetage des listes et des dictionnaires. Suivez le chemin d’inférence des types pour les cas de dictionnaire présentés et ajoutez ou mettez à jour un test de régression ciblé ; le travail est terminé lorsque le comportement attendu est couvert de manière cohérente sans introduire de régression dans les cas existants utilisant le même type de clé.