fail typechecking if a parameterized type doesn't declare `__class_getitem__`
Personne n'a encore pris cette issue.
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Métriques de merge des PR
- Métriques de PR en attente
Description
feature
a parameterized (generic) class/type should fail to typecheck if it doesn't have the __class_getitem__ method
pitch
the syntax for parameterized types is SomeClass[int]. however, if SomeClass doesn't define the __class_getitem__ method, this will typecheck but not actually run properly. we ran into this unexpectedly over at typeddjango/django-stubs/issues/507
it would be extremely helpful to at least have a command line option to warn/error on this, just so that nobody runs into it unexpectedly
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.
Piste de recherche
Commencez par localiser le chemin de vérification des types pour les classes paramétrées et la gestion existante de class_getitem, puis examinez les tests voisins et les modèles d’options de ligne de commande. C’est terminé lorsque les types paramétrés sans class_getitem produisent l’avertissement ou l’erreur convenu, avec une couverture du comportement et de son option.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- devtools
- Type d'issue
- Fonctionnalité
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 30/100