(🎁) Warn when overload impl default value is incompatible with overload part default value
Aperta
Nessuno ha ancora preso questa issue.
feature
topic-overloads
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Merge medio
- 1g 18h
- PR unite (30g)
- 54
Descrizione
from typing import overload
@overload
def f(x: object): ...
@overload
def f(x: int = ...): ...
def f(x: object = ""): ...
While this code is type-safe, it's almost certainly a mistake. The default value of overload part 2 is never going to be met by the implementation.
- related: https://github.com/python/mypy/issues/11397, but I think this issue is actually the same issue, just in a more generic form.
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 tracciando la logica di verifica degli overload di mypy usando l’esempio nell’issue, concentrandoti su come vengono confrontati i valori predefiniti di overload-part e dell’implementazione. Il lavoro è completato quando viene emessa una diagnosi se un overload default non può essere soddisfatto dall’implementation default, preservando altrimenti il caso mostrato che è type-safe.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- devtools
- Tipo di issue
- Funzionalità
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 35/100