False positive with assignment expression shadowing a builtin
Personne n'a encore pris cette issue.
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Merge moyen
- 1 j 18 h
- PR mergées (30 j)
- 54
Description
To Reproduce
https://mypy-play.net/?mypy=latest&python=3.11&gist=a7fd112a423a2e565e5f2cd3e3607e58
def foo(x: int) -> int:
res = vars + 1 if (vars := x) else 0
return res
Expected Behavior
This should type check without errors. It does if I rename vars to anything that is not a name of a built-in.
Actual Behavior
main.py:2: error: Unsupported operand types for + (overloaded function and "int") [operator]
Your Environment
- Mypy version used: 1.5.1
- Mypy command-line flags: no
- Mypy configuration options from
mypy.ini(and other config files): no - Python version used: 3.11
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 exécuter le reproducteur mypy-play lié avec Python 3.11 et mypy 1.5.1, puis suivez la manière dont l’expression d’affectation et le nom vars sont analysés. Le travail est terminé lorsque l’exemple passe la vérification des types sans l’erreur d’opérateur signalée, tout en préservant le comportement existant pour les noms intégrés.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- devtools
- Type d'issue
- Bug
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 45/100