multiple discarded variables with undescore (_) cause Incompatible types in assignment
Nessuno ha ancora preso questa issue.
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Metriche di merge delle PR
- Metriche PR in attesa
Descrizione
Feature
Here is a silly example:
x = ((1, 'a', 1.4),)
for _, _, y in x:
print(y)
The current output (mypy 0.800)
$ mypy t.py
t.py:3: error: Incompatible types in assignment (expression has type "str", variable has type "int")
Found 1 error in 1 file (checked 1 source file)
Here's a real world example:
import pkgutil
from somemod import _plugins
# trigger an import of all of the plugins
# https://github.com/python/mypy/issues/1422
plugins_path: str = _plugins.__path__ # type: ignore
mod_infos = pkgutil.walk_packages(plugins_path, f'{_plugins.__name__}.')
for _, name, _ in mod_infos:
__import__(name, fromlist=['_trash'])
pyupgrade/_data.py:101: error: Incompatible types in assignment (expression has type "bool", variable has type "Union[MetaPathFinder, PathEntryFinder]")
Pitch
The discarded _ variable here is immediately clobbered before it could possibly be read, I'd like this to pass without error
(I couldn't find this searching, though I suspect there's a duplicate -- sorry in advance).
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 riproducendo i due esempi con mypy 0.800 e ispeziona il percorso del controllo dei tipi per l'assegnazione destrutturata delle tuple nelle destinazioni dei cicli for. Il lavoro è completato quando le destinazioni _ scartate ripetute non causano più errori di assegnazione incompatibile e gli esempi superano il controllo dei tipi come previsto.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- compilers, devtools
- Tipo di issue
- Funzionalità
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 42/100