Skip to content

Fix crash with custom ErrorCodes#15327

Merged
svalentin merged 2 commits into
python:masterfrom
cdce8p:fix-crash-ErrorCode
May 31, 2023
Merged

Fix crash with custom ErrorCodes#15327
svalentin merged 2 commits into
python:masterfrom
cdce8p:fix-crash-ErrorCode

Conversation

@cdce8p

@cdce8p cdce8p commented May 30, 2023

Copy link
Copy Markdown
Collaborator

@AlexWaygood AlexWaygood requested a review from svalentin May 30, 2023 21:34
@github-actions

Copy link
Copy Markdown
Contributor

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

@svalentin svalentin left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Ah, thanks! I was scratching my head for a few days about this issue...

@svalentin svalentin merged commit 3d2f437 into python:master May 31, 2023
@cdce8p cdce8p deleted the fix-crash-ErrorCode branch May 31, 2023 10:28
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.

Crash with custom plugin and ErrorCode

2 participants