Too many arguments with specific argument after *args
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
When using specific arguments after providing arguments with *args, mypy will report an error.
To Reproduce
https://mypy-play.net/?mypy=latest&python=3.11&gist=f8b653e4348ebc7a4006c2a126ed0d85
Expected Behavior
Mypy should succeed.
Actual Behavior
main.py:5: error: Too many arguments for "foo" [call-arg]
Found 1 error in 1 file (checked 1 source file)
Your Environment
See playground
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 der verlinkten mypy-play-Reproduktion und dem gemeldeten Fehler in main.py:5 und bestätige den Fehler mit Python 3.11 und der neuesten mypy-Version. Verfolge den Pfad der Argumentprüfung für Aufrufe, bei denen auf *args ein spezifisches Argument folgt. Erledigt ist die Aufgabe, wenn das reproduzierte Beispiel ohne den fälschlicherweise auftretenden Fehler "Too many arguments" eine Typprüfung besteht.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- tooling
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 35/100