Skip to content

Rename partially-defined error codes #14267

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

Merged
merged 2 commits into from
Dec 10, 2022

Conversation

cdce8p
Copy link
Collaborator

@cdce8p cdce8p commented Dec 9, 2022

Rename partially-defined to possibly-undefined and use-before-def to used-before-def.

Ref #14226

@github-actions
Copy link
Contributor

github-actions bot commented Dec 9, 2022

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

@ilevkivskyi
Copy link
Member

@ilinum Can I merge this or it will create big merge conflicts with your other PRs?

@ilinum
Copy link
Collaborator

ilinum commented Dec 10, 2022

Yep, should be okay, I can rebase.

@JelleZijlstra JelleZijlstra merged commit 7849b8f into python:master Dec 10, 2022
@cdce8p cdce8p deleted the rename-partially-defined-codes branch December 10, 2022 16:31
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.

4 participants