Skip to content

Conversation

AlexWaygood
Copy link
Member

I came across a mypy bug while working on #6717; this PR is just so that I can get a good repro for a bug report to mypy.

I came across a mypy bug while working on python#6717; this PR is just so that I can get a good repro for a bug report to mypy.
@AlexWaygood AlexWaygood marked this pull request as draft December 28, 2021 17:12
@github-actions

This comment has been minimized.

@AlexWaygood AlexWaygood deleted the patch-2 branch December 28, 2021 17:19
@AlexWaygood AlexWaygood restored the patch-2 branch December 28, 2021 17:32
@AlexWaygood AlexWaygood reopened this Dec 28, 2021
@AlexWaygood AlexWaygood deleted the patch-2 branch December 28, 2021 17:34
@github-actions

This comment has been minimized.

1 similar comment
@github-actions
Copy link
Contributor

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

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