From 56386d490736724fc08f8ed1928ecae919c7c7fb Mon Sep 17 00:00:00 2001
From: Ivan Levkivskyi <levkivskyi@gmail.com>
Date: Thu, 1 Jan 2026 23:48:11 +0000
Subject: [PATCH] Fix crash on circular star import in incremental mode

---
 mypy/semanal.py                       |  6 ++++++
 test-data/unit/check-incremental.test | 17 +++++++++++++++++
 test-data/unit/check-modules.test     |  7 ++-----
 3 files changed, 25 insertions(+), 5 deletions(-)

diff --git a/mypy/semanal.py b/mypy/semanal.py
index 6c4697d64b00..9e6015f081c4 100644
--- a/mypy/semanal.py
+++ b/mypy/semanal.py
@@ -3224,6 +3224,12 @@ def visit_import_all(self, i: ImportAll) -> None:
                     self.add_imported_symbol(
                         name, node, context=i, module_public=True, module_hidden=False
                     )
+                    # This is a (minimalist) copy of the logic in visit_import_from(), we need
+                    # to clean-up any remaining placeholders by replacing them with Var(Any).
+                    if isinstance(node.node, PlaceholderNode) and self.final_iteration:
+                        self.add_unknown_imported_symbol(
+                            name, i, target_name=None, module_public=True, module_hidden=False
+                        )
 
         else:
             # Don't add any dummy symbols for 'from x import *' if 'x' is unknown.
diff --git a/test-data/unit/check-incremental.test b/test-data/unit/check-incremental.test
index c051ce9691be..cbce913c3663 100644
--- a/test-data/unit/check-incremental.test
+++ b/test-data/unit/check-incremental.test
@@ -7683,3 +7683,20 @@ main:4: error: Too many arguments for "C"
 [out2]
 main:2: error: Module "m1" has no attribute "D"
 main:4: error: Too many arguments for "C"
+
+[case testCyclicUndefinedImportWithStarIncremental]
+import m
+[file m.py]
+import a
+[file m.py.2]
+import a
+reveal_type(a.no_such_export)
+[file a.py]
+from b import no_such_export
+[file b.py]
+from a import *
+[out]
+tmp/b.py:1: error: Cannot resolve name "no_such_export" (possible cyclic definition)
+[out2]
+tmp/b.py:1: error: Cannot resolve name "no_such_export" (possible cyclic definition)
+tmp/m.py:2: note: Revealed type is "Any"
diff --git a/test-data/unit/check-modules.test b/test-data/unit/check-modules.test
index 5ec786c7f08a..ce10b88a91e0 100644
--- a/test-data/unit/check-modules.test
+++ b/test-data/unit/check-modules.test
@@ -3184,7 +3184,7 @@ from b import no_such_export
 [file b.py]
 from a import no_such_export  # E: Module "a" has no attribute "no_such_export"
 
-[case testCyclicUndefinedImportWithStar1_no_parallel]
+[case testCyclicUndefinedImportWithStar1]
 import a
 [file a.py]
 from b import no_such_export
@@ -3192,9 +3192,8 @@ from b import no_such_export
 from a import *
 [out]
 tmp/b.py:1: error: Cannot resolve name "no_such_export" (possible cyclic definition)
-tmp/a.py:1: error: Module "b" has no attribute "no_such_export"
 
-[case testCyclicUndefinedImportWithStar2_no_parallel]
+[case testCyclicUndefinedImportWithStar2]
 import a
 [file a.py]
 from b import no_such_export
@@ -3204,8 +3203,6 @@ from c import *
 from a import *
 [out]
 tmp/c.py:1: error: Cannot resolve name "no_such_export" (possible cyclic definition)
-tmp/b.py:1: error: Cannot resolve name "no_such_export" (possible cyclic definition)
-tmp/a.py:1: error: Module "b" has no attribute "no_such_export"
 
 [case testCyclicUndefinedImportWithStar3]
 import test1