Filter out hidden targets

python · Dec 19, 2023 · 0bb21c6 · 0bb21c6
1 parent cbf1ed2
commit 0bb21c6
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/mypy/errors.py b/mypy/errors.py
@@ -940,7 +940,10 @@ def targets(self) -> set[str]:
         # TODO: Make sure that either target is always defined or that not being defined
         #       is okay for fine-grained incremental checking.
         return {
-            info.target for errs in self.error_info_map.values() for info in errs if info.target
+            info.target
+            for errs in self.error_info_map.values()
+            for info in errs
+            if info.target and not info.hidden
         }
 
     def render_messages(self, errors: list[ErrorInfo]) -> list[ErrorTuple]: