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

Commencez par reproduire les exemples de test.py avec Python 3.14.0 et mypy 1.19.1, en comparant les cas dict(*{'A': 10}) typé et non typé. Suivez le chemin de vérification des types pour l’affectation annotée et ajoutez un test de régression qui capture le diagnostic attendu pour l’appel invalide à l’exécution.