python / python/mypy

--warn-redundant-cast doesn’t warn for simple generic types

Offen
#21,796 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

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
See reproducer

To Reproduce

https://mypy-play.net/?mypy=latest&python=3.12&flags=warn-redundant-casts&gist=f923e1fafbc60a2b7a2fa3c9c3ceb785

from typing import TypeVar, cast

T = TypeVar("T")


def identity(xs: list[T]) -> list[T]:
    return xs


def f(xs: list[int]) -> list[int]:
    reveal_type(identity(xs))
    return cast(list[int], identity(xs))  # --warn-redundant-casts should trigger here

Expected Behavior

warns that the cast is redundant

Actual Behavior

doesn’t warn

Your Environment

  • Mypy version used: 2.3.0
  • Mypy command-line flags: --warn-redundant-casts
  • Mypy configuration options from mypy.ini (and other config files): warn-redundant-casts = true
  • Python version used: any

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Rechercherichtung

Beginne mit dem verlinkten mypy-play-Reproduzierer und führe ihn mit --warn-redundant-casts aus, um die fehlende Warnung für cast(list[int], identity(xs)) zu bestätigen. Verfolge die Prüfung auf redundante Casts für generische Listentypen und füge anschließend einen Regressionstest hinzu, der zeigt, dass dieser Cast gemeldet wird, während das bestehende Type-Reveal weiterhin gültig bleibt.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
python
Bereich
devtools
Issue-Typ
Bug
Schwierigkeit
3/5
Geschätzter Aufwand
1-2 Tage
Aktivitätsstatus
Ruhig
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
52/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.