`Iterator[int]` not recognised as `Hashable`
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Accessibilité débutants
- 55/100
Piste de recherche
Commencez par le reproducteur main.py dans le mypy playground lié et exécutez mypy pour confirmer le diagnostic de type d’index invalide. Suivez la manière dont Iterator[int] est vérifié par rapport à Hashable, puis vérifiez que le reproducteur est exempt d’erreurs tout en préservant les types d’index de tuple attendus.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
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
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Merge moyen
- 1 j 3 h
- PR mergées (30 j)
- 59
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de python/mypy
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 76/100
-
documentation
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
-
bug topic-configuration topic-error-reporting
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
-
bug topic-attrs
Difficulté 2/5 1-3 heures Accessibilité débutants 62/100
Toutes les issues de python/mypy
Issues similaires
-
[Bug] reef-hermes tells me to resume with hermes --resume, which does not work from my shell Ouvertearea: harness bug status: needs-triage
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
Human-Agent-Society/reef#625 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 80/100
learningequality/kolibri#15351 · 2 commentaires ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
-
Name consistency Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
eellak/triplestore#65 · 1 commentaire ·