mypy
Add note about wrong error code in type: ignore
#12067
Merged

Add note about wrong error code in type: ignore #12067

JukkaL merged 3 commits into master from error-code-note
JukkaL
JukkaL Add note about changed error codes, such as literal-required
9c3349d8
JelleZijlstra
github-actions
JukkaL
JukkaL Also add note if we don't know the original error code
2168c97c
JukkaL Fixes and tweaks; update tests
eec63a6a
JukkaL JukkaL changed the title Add note about changed error codes, such as literal-required Add note about wrong error code in type: ignore 4 years ago
jhance
jhance approved these changes on 2022-01-25
github-actions
JukkaL JukkaL merged 99f4d5af into master 4 years ago
JukkaL JukkaL deleted the error-code-note branch 4 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone