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 767a886 commit 8141d73Copy full SHA for 8141d73
mypy/errors.py
@@ -631,10 +631,10 @@ def add_error_info(self, info: ErrorInfo) -> None:
631
# Annotation requests us to ignore all errors on this line.
632
self.used_ignored_lines[file][scope_line].append(err_code.code)
633
return
634
+ if file in self.skipped_lines and scope_line in self.skipped_lines[file]:
635
+ return
636
if file in self.ignored_files:
637
- if file in self.skipped_lines and set(lines) <= self.skipped_lines[file]:
- return
638
if info.only_once:
639
if info.message in self.only_once_messages:
640
0 commit comments