Strict optional doesn't recognize "None in (...)" tests

Ouverte
#2,980 6 commentaires 1 réaction 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
Fonctionnalité
Clarté
Plutôt claire
Activité
À l'abandon
Stack technique
python
Domaine
devtools

Piste de recherche

The issue names no files or tests. Start by reproducing the snippet in mypy and trace how type narrowing handles membership tests; done means that None in (self.a, self.b) narrows both optionals enough for the addition to type-check, with regression coverage added.

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

Description

feature priority-2-low topic-strict-optional topic-type-narrowing

A user reported code which basically boils down to this:

class A:
    a: Optional[int]
    b: Optional[int]
    ...
    def f(self) -> None:
        if None in (self.a, self.b):
            return
        print(self.a + self.b)  # ok at runtime but mypy error currently

Mypy doesn't recognize the None in (...) test as a legitimate None test.

The code seems a little unusual but if we see this frequently enough it might be worth supporting at some point.

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.