Prove ignores without error codes also disappear

meshy · meshy · commit 496b33e8d642 · 2023-03-12T22:23:51.000Z
This test fails with the error: AssertionError: Command 3 (dmypy check -- bar.py) did not give expected output --- Captured stderr call --- Expected: bar.py:2: error: "type: ignore" comment without error code [ignore-without-code] (diff) == Return code: 1 (diff) Actual: (empty) This test illustrates that '"type: ignore" comment without error code' errors currently disappear in the same way that 'Unused "type: ignore"' errors do as described in #9655. Ref: #9655
diff --git a/test-data/unit/daemon.test b/test-data/unit/daemon.test
@@ -539,3 +539,20 @@ bar.py:2: error: Unused "type: ignore" comment
 [file bar.py]
 from foo.empty import *
 a = 1  # type: ignore
+
+[case testTypeIgnoreWithoutCodePreservedAfterUpdate]
+-- Regression test for https://github.com/python/mypy/issues/9655
+$ dmypy start -- --enable-error-code ignore-without-code --no-error-summary
+Daemon started
+$ dmypy check -- bar.py
+bar.py:2: error: "type: ignore" comment without error code  [ignore-without-code]
+== Return code: 1
+$ dmypy check -- bar.py
+bar.py:2: error: "type: ignore" comment without error code  [ignore-without-code]
+== Return code: 1
+
+[file foo/__init__.py]
+[file foo/empty.py]
+[file bar.py]
+from foo.empty import *
+a = "type ignore without a code"  # type: ignore
