Skip to content

Fix error location for class patterns#15506

Merged
JelleZijlstra merged 1 commit intomasterfrom
issue-15496
Jun 23, 2023
Merged

Fix error location for class patterns#15506
JelleZijlstra merged 1 commit intomasterfrom
issue-15496

Conversation

@sobolevn
Copy link
Copy Markdown
Member

Now it uses the same pattern for .fail as similar places:

Test proves that this problem is now fixed.
Closes #15496

@sobolevn sobolevn requested a review from hauntsaninja June 23, 2023 13:37
@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. ✅

@JelleZijlstra JelleZijlstra merged commit c099b20 into master Jun 23, 2023
@JelleZijlstra JelleZijlstra deleted the issue-15496 branch June 23, 2023 14:38
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.

error: Expected type in class pattern; found "Any" (cannot be ignored, error without line number)

2 participants