We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
HTTPHeaders.get should return str | None, but type checkers aren't able to infer that because it extends MutableMapping without type parameters:
HTTPHeaders.get
str | None
MutableMapping
from typing_extensions import reveal_type from tornado.httputil import HTTPHeaders h = HTTPHeaders() reveal_type(h.get('a-header'))
yields Union[Any, None] on mypy and Unknown | None on Pyright.
Union[Any, None]
Unknown | None
Adding the type parameters [str, str] to the extended MutableMapping would correct the type to str | None.
[str, str]
The text was updated successfully, but these errors were encountered:
Successfully merging a pull request may close this issue.
HTTPHeaders.get
should returnstr | None
, but type checkers aren't able to infer that because it extendsMutableMapping
without type parameters:yields
Union[Any, None]
on mypy andUnknown | None
on Pyright.Adding the type parameters
[str, str]
to the extendedMutableMapping
would correct the type tostr | None
.The text was updated successfully, but these errors were encountered: