We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent feeb3f0 commit f251e0cCopy full SHA for f251e0c
mypy/errors.py
@@ -645,7 +645,7 @@ def add_error_info(self, info: ErrorInfo) -> None:
645
if ignored_codes and info.code:
646
# Something is ignored on the line, but not this error, so maybe the error
647
# code is incorrect.
648
- msg = f'Error code "{info.code.code}" not covered by "type: ignore" comment'
+ msg = f'Error code "{info.code.code}" not covered by "type: ignore" comment ignoring {ignored_codes}'
649
if info.code in original_error_codes:
650
# If there seems to be a "type: ignore" with a stale error
651
# code, report a more specific note.
0 commit comments