analyze object when selecting from package

Author: EnzeXing

compiler/src/dotty/tools/dotc/transform/init/Objects.scala

@@ -864,7 +864,7 @@ class Objects(using Context @constructorOnly):
       Bottom
 
     case Bottom =>
-      if field.isStaticObject then ObjectRef(field.moduleClass.asClass)
+      if field.isStaticObject then accessObject(field.moduleClass.asClass)
       else Bottom
 
     case ValueSet(values) =>

tests/init-global/warn/cyclic-object.scala

@@ -0,0 +1,9 @@
+package cyclicObject
+
+object O1 { // warn
+  val o = cyclicObject.O2
+}
+
+object O2 {
+  val o = cyclicObject.O1
+}