Can't convert from Tuple of optional to Tuple of non-optional
Ouverte
Personne n'a encore pris cette issue.
false-positive
feature
priority-2-low
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Métriques de merge des PR
- Métriques de PR en attente
Description
Code:
from typing import Tuple, Optional
a: Tuple[Optional[int], Optional[int]] = (1, 1)
b: Tuple[int, int]
if a[0] is not None and a[1] is not None:
b = a
After that has error:
script.py:6: error: Incompatible types in assignment (expression has type "Tuple[Optional[int], Optional[int]]", variable has type "Tuple[int, int]")
Expected no error.
I have: mypy-0.770 and Python 3.7.7
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
Reproduisez l’erreur signalée dans script.py avec mypy en utilisant les annotations Tuple et Optional indiquées. Étudiez comment mypy affine les éléments du tuple après les deux vérifications de None, et considérez le travail comme terminé lorsque l’affectation à b est acceptée sans erreur incompatible-types.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- tooling
- Type d'issue
- Bug
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 35/100