Wrong type inference for `<tuple>[s]` where `s: slice`
Offen
Dieses Issue hat noch niemand übernommen.
bug
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
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
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Beginne mit dem bereitgestellten Tupel-und-Slice-Reproduzierer und verfolge dann die Typinferenz von mypy bei Tupel-Subskriptionen. Vergleiche sie mit der bestehenden Behandlung von Listen-Slices. Erledigt ist die Aufgabe, wenn sowohl a[s] als auch a.__getitem__(s) einen Tupeltyp offenlegen, der mit dem Laufzeitwert konsistent ist, ohne die gewöhnliche Tupelindizierung zu beeinträchtigen.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- tooling
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Ruhig
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 68/100