False positive with splat and explicit kwarg
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
Mypy reports multiple values for a kwarg if args are given via splat and the kwarg is explicitly set.
To Reproduce
def foo(x: int, y: int, z: str) -> None:
print(x, y, z)
args = [1, 2]
foo(*args, z="...")
Expected Behavior
Mypy should not report any problems.
Actual Behavior
mypysandbox.py:5: error: "foo" gets multiple values for keyword argument "z" [misc]
mypysandbox.py:5: error: Argument 1 to "foo" has incompatible type "*list[int]"; expected "str" [arg-type]
Found 2 errors in 1 file (checked 1 source file)
Your Environment
$ mypy --version
mypy 1.19.1 (compiled: yes)
$ python --version
Python 3.12.12
Mypy config from pyproject.toml:
[tool.mypy]
strict = true
allow_redefinition = true
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 minimalen Python-Reproduzierer im Issue und vergleiche, wie mypy eine gesplatete Liste gefolgt von einem expliziten Keyword-Argument behandelt. Verwende beim Überprüfen des Verhaltens die strikte Konfiguration aus pyproject.toml; abgeschlossen bedeutet, dass das Beispiel keine Diagnosen erzeugt, einschließlich keiner Fehler wegen doppelter Keywords oder inkompatibler Typen.
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
- 42/100