`list.sort()` fails to detect type issue
Aperta
Nessuno ha ancora preso questa issue.
bug
topic-overloads
topic-self-types
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Metriche di merge delle PR
- Metriche PR in attesa
Descrizione
This code is not failing under mypy:
[2, None].sort()
Interestingly, it fails on ty:
error[invalid-argument-type]: Argument to bound method `list.sort` is incorrect
--> toto.py:1:1
|
1 | [None, 2].sort()
| ^^^^^^^^^^^^^^^^ Argument type `None | int` does not satisfy upper bound `SupportsDunderLT[Any] | SupportsDunderGT[Any]` of type variable `SupportsRichComparisonT`
|
info: Type variable defined here
--> stdlib/_typeshed/__init__.pyi:107:1
|
107 | SupportsRichComparisonT = TypeVar("SupportsRichComparisonT", bound=SupportsRichComparison) # noqa: Y001
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
Found 1 diagnostic
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
Riproduci la differenza segnalata tra mypy e ty con [2, None].sort(), quindi esamina il tipaggio di list.sort e la definizione referenziata in stdlib/_typeshed/__init__.pyi. Determina la diagnostica prevista e aggiungi una copertura di regressione per il caso, rendendo il comportamento coerente con tale aspettativa.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- devtools
- Tipo di issue
- Bug
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Stato di attività
- Tranquilla
- Chiarezza
- Da chiarire
- Idoneità per principianti
- 48/100