diff --git a/mypy/errors.py b/mypy/errors.py index 2c2c1e5ca227a..3d08144083908 100644 --- a/mypy/errors.py +++ b/mypy/errors.py @@ -668,6 +668,8 @@ def generate_unused_ignore_errors(self, file: str) -> None: False, False, False, + origin=(self.file, None), + target=self.target_module, ) self._add_error_info(file, info) @@ -720,6 +722,8 @@ def generate_ignore_without_code_errors( False, False, False, + origin=(self.file, None), + target=self.target_module, ) self._add_error_info(file, info) diff --git a/mypy/server/update.py b/mypy/server/update.py index 00b823c99dfd0..d87e44b978635 100644 --- a/mypy/server/update.py +++ b/mypy/server/update.py @@ -1027,6 +1027,10 @@ def key(node: FineGrainedDeferredNode) -> int: if graph[module_id].type_checker().check_second_pass(): more = True + graph[module_id].detect_possibly_undefined_vars() + graph[module_id].generate_unused_ignore_notes() + graph[module_id].generate_ignore_without_code_notes() + if manager.options.export_types: manager.all_types.update(graph[module_id].type_map())