Wrong type inference for `<tuple>[s]` where `s: slice`

Ouverte
#21,708 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
3/5
Temps estimé
1-2 jours
Accessibilité débutants
68/100
Type d'issue
Bug
Clarté
Plutôt claire
Activité
Calme
Stack technique
python
Domaine
tooling

Piste de recherche

Commencez par le reproducteur fourni pour les tuples et les slices, puis suivez l'inférence de types de mypy pour l'indexation des tuples et comparez-la à la gestion existante des slices de listes. Le travail est terminé lorsque a[s] et a.__getitem__(s) révèlent tous deux un type tuple cohérent avec la valeur à l'exécution, sans régression de l'indexation ordinaire des tuples.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

bug

Bug Report

a = (1, 2, 3)
s = slice(None, 1)
reveal_type(a[s])  # Revealed type is `builtins.int`
reveal_type(a.__getitem__(s))  # Revealed type is `builtins.tuple[builtins.int, ...]` (OK)

The runtime value of a[s] is (1,).

The type inference works for lists though.

Your Environment

  • Mypy version used: 1.0.0-2.1, master
  • Python version used: 3.12, 3.13
Langage dominant
Python
Étoiles
20.6k
Forks
3.3k
Merge moyen
1 j 18 h
PR mergées (30 j)
54

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de python/mypy

Toutes les issues de python/mypy

Issues similaires

Plus d'issues Python

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.