Wrong type for hdrs in urllib.error.HTTPError

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].

首先定位 urllib.error.HTTPError 的 stub，并根据 issue 中描述的 stdlib 行为检查 hdrs 参数的 annotation。使用提供的 code.py 示例配合 mypy，验证传递字典不再产生 incompatible-type 错误。