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
# type: ignore
I noticed that there are quite a few # type: ignore around. I enabled the --warn-unused-ignores flag and found out that some of them are not needed.
--warn-unused-ignores
No response
Yes
Small one :)
The text was updated successfully, but these errors were encountered:
Thank you @Fokko for noticing and opening a PR ❤️
Sorry, something went wrong.
Successfully merging a pull request may close this issue.
Is this your first time submitting a feature request?
Describe the feature
I noticed that there are quite a few
# type: ignore
around. I enabled the--warn-unused-ignores
flag and found out that some of them are not needed.Describe alternatives you've considered
No response
Who will this benefit?
No response
Are you interested in contributing this feature?
Yes
Anything else?
Small one :)
The text was updated successfully, but these errors were encountered: