Calling float.__add__ with an integer as first argument is valid
Offen
Dieses Issue hat noch niemand übernommen.
bug
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Calling float.__add__ with an integer as first argument is valid.
Example
float.__add__(1, 2)
Expected Behavior
Considering that the code fails at runtime, mypy should not accept this code.
Environment
- Mypy version used: 1.9
- Python version used: 3.11.2
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
Es wird keine Datei und kein Test genannt. Beginne damit, das Beispiel mit mypy 1.9 zu reproduzieren, verfolge dann, wie direkte Aufrufe von float.add geprüft werden, und finde den relevanten Bereich für Regressionstests. Als erledigt gilt die Aufgabe, wenn mypy float.add(1, 2) ablehnt und dabei gültige Verwendungen weiterhin zulässt.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- compilers, devtools
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 35/100