(🎁) Narrow type based on method return type of union
Ouverte
Personne n'a encore pris cette issue.
feature
priority-2-low
topic-type-narrowing
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Métriques de merge des PR
- Métriques de PR en attente
Description
I would expect the type of either to be narrowed to Maybe in the if block.
from typing import Literal
class Maybe:
def should(self) -> bool:
...
class No:
def should(self) -> Literal[False]:
...
no: No
if no.should():
reveal_type(no) # error: unreachable
either: Maybe | No
if either.should():
reveal_type(either) # Maybe | No
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
Aucun fichier d’implémentation ni test n’est indiqué. Commencez par exécuter le reproducteur fourni avec mypy et par rechercher les tests existants concernant la réduction de type fondée sur une méthode. C’est terminé lorsque la branche if either.should() révèle que either est de type Maybe, tout en préservant le comportement No démontré.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- compilers
- Type d'issue
- Fonctionnalité
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 35/100