Wrong type for hdrs in urllib.error.HTTPError
Offen
Dieses Issue hat noch niemand übernommen.
stubs: false positive
- Vorherrschende Sprache
- Python
- Sterne
- 5.1k
- Forks
- 2.1k
- Ø Merge
- 1 T. 19 Std.
- Gemergte PRs (30 T.)
- 82
Beschreibung
Example code code.py:
import urllib.error
raise urllib.error.HTTPError("https://example.com/", 502, "Bad Gateway", hdrs={}, fp=None)
mypy complains:
code.py:2: error: Argument "hdrs" to "HTTPError" has incompatible type "Dict[<nothing>, <nothing>]"; expected "Message" [arg-type]
Looking at the Python stdlib code, hdrs is always a dict[str, str].
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 damit, den Stub von urllib.error.HTTPError zu lokalisieren, und überprüfe die Annotation des Parameters hdrs anhand des im Issue beschriebenen Verhaltens der stdlib. Verwende das bereitgestellte code.py-Beispiel mit mypy, um zu verifizieren, dass die Übergabe eines Dictionarys nicht mehr den incompatible-type-Fehler verursacht.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- devtools
- Issue-Typ
- Bug
- Schwierigkeit
- 2/5
- Geschätzter Aufwand
- 1-3 Stunden
- Aktivitätsstatus
- Veraltet
- Klarheit
- Klar beschrieben
- Anfängerfreundlichkeit
- 35/100