reveal_type() may affect inferred type / overload resolution

Ouverte
#6,328 1 commentaire 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
42/100
Type d'issue
Bug
Clarté
Clairement spécifiée
Activité
À l'abandon
Stack technique
python
Domaine
compilers, devtools

Piste de recherche

Commencez par utiliser le reproducteur Python fourni avec --py2, en comparant filter(None, reveal_type(a)) à filter(None, a) ainsi qu’à l’erreur d’affectation signalée. Suivez l’effet de reveal_type sur les types inférés et la résolution des surcharges ; le travail est terminé lorsque les deux appels produisent le même résultat inféré et que reveal_type reste uniquement diagnostique.

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

Description

bug priority-1-normal topic-reveal-type

The first filter call below generates an error when using --py2, but the same call without reveal_type(...) is fine:

from typing import Any, List

a = 0  # type: Any

x = filter(None, reveal_type(a))  # type: List[str]  # Error
x2 = filter(None, a)  # type: List[str]  # No error

The error message is Incompatible types in assignment (expression has type "Tuple[<nothing>, ...]", variable has type "List[str]").

reveal_type should have no effect on inferred types, since it's often used to diagnose issues with type inference.

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.