FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Revert "Fix disappearing errors when re-running dmypy check (#14835)" by JukkaL · Pull Request #15179 · python/mypy · GitHub

Repository navigation

Revert "Fix disappearing errors when re-running dmypy check (#14835)" - #15179

Merged
JukkaL merged 1 commit into
masterfrom
revert-dmypy-type-ignores
May 4, 2023
Merged

JukkaL merged 1 commit into
masterfrom
revert-dmypy-type-ignores

Conversation

JukkaL commented May 4, 2023

Copy link
Copy Markdown
Collaborator

This reverts commit a9ee618.

The original fix doesn't work in all cases. Reverting it since fixing remaining issues is non-trivial, and it's better not to include regressions or partially implemented features in mypy 1.3. See #9655 for context.

This reverts commit a9ee618.

The original fix doesn't work in all cases. Reverting it since fixing
remaining issues is non-trivial, and it's better not to include regressions
or partially implemented features in mypy 1.3. See #9655 for context.

meshy left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

Good call, thanks.

JukkaL merged commit d17b3ed into master May 4, 2023
JukkaL deleted the revert-dmypy-type-ignores branch May 4, 2023 11:46
wesleywright pushed a commit that referenced this pull request May 4, 2023
…#15179)

This reverts commit a9ee618.

The original fix doesn't work in all cases. Reverting it since fixing
remaining issues is non-trivial, and it's better not to include
regressions or partially implemented features in mypy 1.3. See #9655 for
context.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
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.

2 participants


Back | FazBrowse Home | New Git URL