reveal_type should indicate untyped defs with types
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
It's possible to make a def that's simultaneously typed and untyped eg: https://mypy-play.net/?mypy=latest&python=3.9&flags=disallow-untyped-calls&gist=7946ef5bbce794503defa44284147e56
Here Lock is "untyped" but appears to be a main.py:17: note: Revealed type is 'def () -> main.Lock'
Pitch
reveal_type should let me know that this object has an untyped constructor:
main.py:17: note: Revealed type is 'Untyped[def () -> main.Lock']
See also https://github.com/python/mypy/issues/5943#issuecomment-516075196
this tripped up the anyio project in the definition of anyio.Lock https://github.com/agronholm/anyio/pull/289
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 con l’esempio mypy-play collegato e il comportamento esistente di reveal_type descritto nell’issue. Determina come reveal_type dovrebbe rappresentare le definizioni che sono sia tipizzate sia non tipizzate, quindi verifica che l’output distingua il costruttore non tipizzato preservando al contempo il tipo di funzione rivelato.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- devtools
- Tipo di issue
- Funzionalità
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 35/100