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
NotImplemented should always be returnable, no matter what return type annotation a function has.
NotImplemented
Other type checkers seem to handle this by just treating NotImplemented as if it were Any, but I don't think that's right.
Any
We can easily handle this by treating NotImplemented as a KnownInstance and special-casing it in return type checking.
KnownInstance
(Arguably this special case should only apply to certain methods, but that seems more complex and perhaps not worth it.)
The text was updated successfully, but these errors were encountered:
No branches or pull requests
NotImplemented
should always be returnable, no matter what return type annotation a function has.Other type checkers seem to handle this by just treating
NotImplemented
as if it wereAny
, but I don't think that's right.We can easily handle this by treating
NotImplemented
as aKnownInstance
and special-casing it in return type checking.(Arguably this special case should only apply to certain methods, but that seems more complex and perhaps not worth it.)
The text was updated successfully, but these errors were encountered: