mypy doesn't get error with typed `dict(*{'A': 10})` while PVM gets error

*Memo:

• python test.py
• mypy test.py
• Python 3.14.0
• mypy 1.19.1

PVM gets the error with typed and untyped dict(*{'A': 10}) as shown below:

v1 = dict(*{'A': 10})                 # Error
v2: dict[str, int] = dict(*{'A': 10}) # Error

ValueError: dictionary update sequence element #0 has length 1; 2 is required

But, mypy gets the error only for untyped dict(*{'A': 10}) while typed dict(*{'A': 10}) doesn't get error as shown below:

v1 = dict(*{'A': 10})                 # Error
v2: dict[str, int] = dict(*{'A': 10}) # No error

error: Need type annotation for "v1" (hint: "v1: dict[, ] = ...")

まず、Python 3.14.0 と mypy 1.19.1 で test.py の例を再現し、型付きと型なしの dict(*{'A': 10}) のケースを比較します。注釈付き代入の型チェック経路を追跡し、実行時に無効な呼び出しに対して期待される診断を記録する回帰テストを追加します。