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

test.py の最小限の例から始め、Python 3.14.0 で mypy を実行して、リストと辞書のアンパックに対する診断結果の違いを再現します。示されている辞書のケースについて型推論の経路を追跡し、対象を絞った回帰テストを追加または更新します。既存の同じキー型のケースを退行させることなく、意図した動作が一貫してカバーされれば完了です。