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

Empieza reproduciendo los ejemplos de test.py con Python 3.14.0 y mypy 1.19.1, comparando los casos de dict(*{'A': 10}) tipado y no tipado. Sigue el recorrido de comprobación de tipos para la asignación anotada y añade una prueba de regresión que capture el diagnóstico esperado para la llamada no válida en tiempo de ejecución.