Class scope name resolution issue
Aperta
Nessuno ha ancora preso questa issue.
bug
good-second-issue
priority-2-low
topic-runtime-semantics
topic-variable-scope
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Metriche di merge delle PR
- Metriche PR in attesa
Descrizione
Example courtesy of @gvanrossum , based on https://twitter.com/gvanrossum/status/1354305179244392453
While Python's behaviour is surprising, mypy should match it.
from typing import *
x: Optional[int] = None
y: Optional[int] = None
def f() -> None:
x = 1
y = 1
class C:
reveal_type(x) # Incorrectly reveals int, should be Optional[int]
reveal_type(y) # Correctly reveals int
x = 2
I also found https://bugs.python.org/issue24129 interesting. Thanks, ilevkivskyi!
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Inizia eseguendo con mypy l'esempio Python dell'issue e confrontando i due risultati di reveal_type. Segui la logica di risoluzione dei nomi nell'ambito della classe che gestisce x e y; il lavoro è completato quando x viene rivelato come Optional[int], mentre y rimane int, in accordo con il comportamento di Python.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- compilers
- Tipo di issue
- Bug
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Stato di attività
- Tranquilla
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 48/100