False negative when lvalue has union type
Personne n'a encore pris cette issue.
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Métriques de merge des PR
- Métriques de PR en attente
Description
Mypy generates no error, even though the code is unsafe:
class C[T]:
a: T
def f(x: C[int] | C[str]) -> None:
x.a = 1 # No error
c = C[str]()
f(c)
print(c.a, type(c.a)) # 1, int
I'd expect x.a = 1 to generate an error, since the assignment is unsafe.
I suspect that the lvalue type is inferred as int | str, and mypy thinks it's fine. instead, assignment should be valid for each union item separately.
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par reproduire l’exemple generic-union fourni avec mypy et examinez le chemin de vérification des types pour les affectations à des lvalues typés comme des unions. C’est terminé lorsque l’affectation est rejetée dès qu’elle est dangereuse pour l’un des membres de l’union, tandis que les affectations valides continuent de passer.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- compilers, devtools
- Type d'issue
- Bug
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 35/100