Skip to content
New issue

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

Revert "stubtest pos-only differences in dunders (#12184)" #12293

Merged
merged 1 commit into from Mar 5, 2022

Conversation

hauntsaninja
Copy link
Collaborator

@hauntsaninja hauntsaninja commented Mar 5, 2022

This reverts commit 777885f.

To help with python/typeshed#7441 and reduce risk of stubtest issues interfering with a mypy release. The extra type correctness here is really minimal.

@github-actions
Copy link
Contributor

github-actions bot commented Mar 5, 2022

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

Copy link
Member

@JelleZijlstra JelleZijlstra left a comment

Choose a reason for hiding this comment

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

Always glad when mypy-primer confirms that changing stubtest doesn't affect typechecking output.

Though maybe we need a stubtest-primer that tells us stubtest's output on all of typeshed's third-party stubs.

@hauntsaninja hauntsaninja merged commit b3752a6 into python:master Mar 5, 2022
@hauntsaninja hauntsaninja deleted the stubts branch March 5, 2022 01:50
Copy link
Member

@AlexWaygood AlexWaygood left a comment

Choose a reason for hiding this comment

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

Thanks! I agree this was the way to go :)

@AlexWaygood
Copy link
Member

AlexWaygood commented Mar 5, 2022

[M]aybe we need a stubtest-primer that tells us stubtest's output on all of typeshed's third-party stubs.

Yes, I think this would be very helpful. Something similar to the "Daily test" job in the typeshed CI, that's run on every stubtest PR, would be amazing. (Edit: it would obviously have to be done in a non-blocking way, like mypy_primer.)

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.

None yet

3 participants