Closed Fokko closed 1 year ago
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.
# type: ignore
--warn-unused-ignores
No response
Yes
Small one :)
Thank you @Fokko for noticing and opening a PR ❤️
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 :)