Use a bit more consistent logic

Author: ilevkivskyi

mypy/semanal.py

@@ -6340,7 +6340,11 @@ class C:
             if node.name not in self.globals:
                 return True
             global_node = self.globals[node.name]
-            return not global_node.node or not self.is_textually_before_statement(global_node.node)
+            return (
+                isinstance(global_node.node, (TypeInfo, TypeAlias))
+                or isinstance(global_node.node, PlaceholderNode)
+                and global_node.node.becomes_typeinfo
+            )
         return False
 
     def is_textually_before_statement(self, node: SymbolNode) -> bool:

test-data/unit/check-python312.test

@@ -2004,15 +2004,15 @@ reveal_type(x.related_resources)  # N: Revealed type is "__main__.ResourceRule"
 
 [case testPEP695TypeAliasRecursiveOuterClass]
 class A:
-    type X = X  # E: Cannot resolve name "X" (possible cyclic definition)
+    type X = X
 class X: ...
 
 class Y: ...
 class B:
-    type Y = Y  # OK
+    type Y = Y
 
 x: A.X
-reveal_type(x)  # N: Revealed type is "Any"
+reveal_type(x)  # N: Revealed type is "__main__.X"
 y: B.Y
 reveal_type(y)  # N: Revealed type is "__main__.Y"
 [builtins fixtures/tuple.pyi]