Fix disappearing errors when re-running dmypy check

This which fixes issue
python#9655 wherein some types of error
would be lost when a file was re-processed by dmypy. Regression tests
are also included.

This also fixes another error where sometimes files would not be
re-processed by dmypy if the only error in the file was either "unused
type ignore" or "ignore without code".

mypy/errors.py

@@ -722,6 +722,8 @@ def generate_unused_ignore_errors(self, file: str) -> None:
  blocker=False,
  only_once=False,
  allow_dups=False,
+ origin=(self.file, [line]),
+ target=self.target_module,
  )
  self._add_error_info(file, info)
 
@@ -774,6 +776,8 @@ def generate_ignore_without_code_errors(
  blocker=False,
  only_once=False,
  allow_dups=False,
+ origin=(self.file, [line]),
+ target=self.target_module,
  )
  self._add_error_info(file, info)
 

mypy/server/update.py

@@ -667,6 +667,8 @@ def restore(ids: list[str]) -> None:
  state.type_check_first_pass()
  state.type_check_second_pass()
  state.detect_possibly_undefined_vars()
+ state.generate_unused_ignore_notes()
+ state.generate_ignore_without_code_notes()
  t2 = time.time()
  state.finish_passes()
  t3 = time.time()
@@ -1028,6 +1030,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())