python / python/mypy

Functions with type variable value restriction lose some AST information

Offen
#14,706 0 Kommentare 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

There are a bunch of mypy AST attributes that mypy.treetransform.TransformVisitor does not propagate when copying AST nodes. This causes issues in functions using a type variable restriction, since function bodies of such functions are transformed using this visitor before type checking. Based on a user report, I noticed that async-related flags aren't propagated. I also noticed a few others, including dataclass transform state. It's not clear if all of these are causing actual issues, but some of them might.

We should go through all AST nodes and double check that all relevant state is being copied. Not sure if there is an easy way to test exhaustively that we don't miss any attributes as AST attributes are added.

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 mypy.treetransform.TransformVisitor und vergleiche die von ihm kopierten Attribute mit dem Zustand aller AST-Knoten, insbesondere async-bezogenen Flags und dem Zustand der Dataclass-Transformation. Prüfe die bestehende Abdeckung für Funktionen, die eingeschränkte Typvariablen verwenden, und füge anschließend Tests hinzu, die bestätigen, dass transformierte Knoten den relevanten Zustand beibehalten; abgeschlossen ist die Aufgabe, wenn der relevante AST-Zustand konsistent erhalten bleibt.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
python
Bereich
compilers
Issue-Typ
Bug
Schwierigkeit
4/5
Geschätzter Aufwand
3-5 Tage
Aktivitätsstatus
Veraltet
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
35/100

Neue Issues direkt in Ihr Postfach

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