`Iterator[int]` not recognised as `Hashable`
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 55/100
Direzione di ricerca
Inizia con il riproduttore main.py nel mypy playground collegato ed esegui mypy per confermare la diagnostica del tipo di indice non valido. Traccia il modo in cui Iterator[int] viene verificato rispetto a Hashable, quindi verifica che il riproduttore non contenga errori preservando i tipi di indice della tupla previsti.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Bug Report
Iterator[int] is not recognised as Hashable.
To Reproduce
- https://play.ty.dev/13380319-febd-421a-9540-ce987c4bbc9c
- https://pyrefly.org/sandbox/?project=v2.lVVBboMwEPzKqjlgWoJL1RMPqHrs3eWAUgSWmoCwqZJD_95Zg8GoSZRckGV21-uZ2fEdlvnoBcqlxTEH_NbrZdLKkZ4o47DAk4QLf32JQcp_zDb0MW7QdDzcAmDXAzwJIKafhw3sqKLG2s7kUvr0tq9ldZBf7c7IVYYklkf5U2rndOty1DqODcqeJyu7iaxo5Cq6RlXETCFirw0Grd6aoav67Q4iwk8LWQKLBXHtIb9g3Mvz8V6ahi-2-Bmb4FuP0Vk5mqksTwJMbe1bCaHNnOwAC1TmW4c1i9n7_HkKHAMHTl5mmdIUADIz-1N3IlwCShmHJqGJILeLta4b9nOetLlPEadhf8J1Ibg0HtL5Gyc83L1Qz0WMtcoKCCioofIgoACoiIDCLotdP_z-AQ
- https://pyright-play.net/?code=GYJw9gtgBAxmA28CmMAuBLMA7AzgOgEMAjGKdCABzBFSgGUkBHAVySxiQBooAJAnABbFkAKBEx4-HFAAiBVAQBiIAhCQAuEVG1QAJkmBQA%2BkZxIMqJBBMAKLTodn4wbgGskAT3VRUzCsgBtHHh0Dm4%2BQWEkAF1uADcCeFZvBhY2DgD0LFRo%2B20ASigAWgA%2BKAA5bA0oPFqxAGIoCA8KDygCLF0fNqQQcBBuVpADeDaOrqH0AHMBWgopETkFZVUkG3y8EzMLK1sbYNC1yqwuCqruY6R87nRLEBsAgAZo-OuoAIBGF8X5JRU1dYBdQ3O4PZ75aJQAC87y%2BIiAA
- https://mypy-play.net/?gist=71aba787eb6f23212e1fd4e0a63cf86f
from collections.abc import Sequence, Hashable
class DataFrame:
def __setitem__(
self, key: tuple[slice, Hashable], value: Sequence[int]
) -> None: ...
# mypy and ty error, pyrefly and pyright pass
DataFrame().__setitem__((slice(None, None, None), iter([0])), [1])
DataFrame()[:, iter([0])] = [1]
Expected Behavior
error free
Actual Behavior
main.py:9: error: Invalid index type "tuple[slice[Any, Any, Any], Iterator[int]]" for "DataFrame"; expected type "tuple[slice[Any, Any, Any], Hashable]" [index]
main.py:10: error: Invalid index type "tuple[slice[None, None, None], Iterator[int]]" for "DataFrame"; expected type "tuple[slice[Any, Any, Any], Hashable]" [index]
Found 2 errors in 1 file (checked 1 source file)
Your Environment
Playground
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Merge medio
- 1g 12h
- PR unite (30g)
- 58
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.
Altre issue di python/mypy
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
-
documentation
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
-
bug topic-configuration topic-error-reporting
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
bug topic-attrs
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
anthropics/skills#1811 · 1 commento ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
speaches-ai/speaches#678 ·
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
datalayer/mcp-compose#42 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
conda-forge/spacy-feedstock#177 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
UKGovernmentBEIS/inspect_evals#2523 ·