Invalid type inference for generic typed dicts

Ouverte
#18,804 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
4/5
Temps estimé
3-5 jours
Accessibilité débutants
35/100
Type d'issue
Bug
Clarté
Clairement spécifiée
Activité
À l'abandon
Stack technique
python
Domaine
devtools

Piste de recherche

Aucun fichier du dépôt ni chemin de test n’est indiqué ; commencez par exécuter la reproduction Python fournie avec mypy 1.15.0 et inspectez le type inféré pour params.get('i', 0). C’est terminé lorsque cette expression est inférée comme int plutôt que object, avec une couverture de régression pour le cas générique de TypedDict.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

bug topic-typed-dict

Bug Report

When we try to assert the type of an object obtained from get with default value from generic object bound to typed dict, then mypy shows next error:

error: Incompatible types in assignment (expression has type "object", variable has type "int")  [assignment]

To Reproduce

from typing import NotRequired, TypedDict, TypeVar


class A(TypedDict):
    i: NotRequired[int]


ParamsT = TypeVar('ParamsT', bound=A)


def foo(params: ParamsT) -> None:
    i: int = params.get('i', 0)


foo(A())

Gist: https://gist.github.com/mypy-play/effc3f0d297540be8ca1bad7b08c5902
Play: https://mypy-play.net/?mypy=latest&python=3.12&gist=effc3f0d297540be8ca1bad7b08c5902

Expected Behavior

It is expected that result of expression params.get('i', 0) would be of type int since typed dict attribute is annotated as <int> and the default value type is <int> as well.

Actual Behavior

Mypy reports that result of expression params.get('i', 0) has type <object>.

Your Environment

  • Mypy version used: mypy 1.15.0 (compiled: yes)
  • Python version used: 3.13
Langage dominant
Python
Étoiles
20.6k
Forks
3.3k
Merge moyen
1 j 18 h
PR mergées (30 j)
54

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de python/mypy

Toutes les issues de python/mypy

Issues similaires

Plus d'issues Python

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.