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[, ] = ...")

Beginne damit, die Beispiele in test.py mit Python 3.14.0 und mypy 1.19.1 zu reproduzieren, und vergleiche die Fälle mit typisiertem und untypisiertem dict(*{'A': 10}). Verfolge den Typprüfpfad für die annotierte Zuweisung und füge einen Regressionstest hinzu, der die erwartete Diagnose für den zur Laufzeit ungültigen Aufruf erfasst.