Skip to content

Conversation

@wyattscarpenter
Copy link

@wyattscarpenter wyattscarpenter commented Mar 11, 2025

mypy: ignore is not (yet!) actually a feature of the mypy typechecker. However, once I implemented that feature in my pull-request, it was reported to me by the tool mypy-primer that the mypy: ignore here is actually unused anyway! (I guess that makes sense, or yous would have noticed the type error, that it was supposed to be suppressing, get raised anyway.) So, it can just be removed.

Pull Request Checklist

  • Changes are complete (if posting work-in-progress code, prefix your pull request title with '[WIP]'
    until you can check this box.

(I have omitted the rest of the checklist items as I suspect they are not applicable to this PR. Sorry if I'm wrong.)

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

`mypy: ignore` is not (yet!) actually a feature of the mypy typechecker. However, once I implemented that feature in [my pull-request](python/mypy#17875), it was reported to me that the `type: ignore` you get here is actually unused anyway! (I guess that makes sense, or yous would have noticed the type error it was supposed to be suppressing get raised anyway.) So, it can just be removed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant