Wrong type for hdrs in urllib.error.HTTPError
Abierto
Nadie ha tomado este issue todavía.
stubs: false positive
- Lenguaje dominante
- Python
- Estrellas
- 5.1k
- Forks
- 2.1k
- Merge medio
- 1 d 19 h
- PR fusionados (30 d)
- 82
Descripción
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].
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Línea de trabajo
Comienza localizando el stub de urllib.error.HTTPError y revisa la anotación del parámetro hdrs comparándola con el comportamiento de la stdlib descrito en el issue. Usa el ejemplo proporcionado code.py con mypy para verificar que pasar un diccionario ya no produce el error incompatible-type.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- devtools
- Tipo de issue
- Error
- Dificultad
- 2/5
- Tiempo estimado
- 1-3 horas
- Estado de actividad
- Estancado
- Claridad
- Bien especificado
- Aptitud para principiantes
- 35/100