Avoid cyclic error in checkNoModuleClash

Author: dwijnand

compiler/src/dotty/tools/dotc/typer/Checking.scala

@@ -886,11 +886,11 @@ trait Checking {
    */
   def checkNoModuleClash(sym: Symbol)(using Context): Unit =
     if sym.effectiveOwner.is(Package)
-       && sym.owner.info.member(sym.name.moduleClassName).symbol.isAbsent()
+       && sym.effectiveOwner.info.member(sym.name.moduleClassName).symbol.isAbsent()
     then
-      val conflicting = sym.owner.info.member(sym.name.toTypeName).symbol
+      val conflicting = sym.effectiveOwner.info.member(sym.name.toTypeName).symbol
       if conflicting.exists then
-        report.error(AlreadyDefined(sym.name, sym.owner, conflicting), sym.srcPos)
+        report.error(AlreadyDefined(sym.name, sym.effectiveOwner, conflicting), sym.srcPos)
 
  /**  Check that `tp` is a class type.
   *   Also, if `traitReq` is true, check that `tp` is a trait.

tests/pos/i14152.min.scala

@@ -0,0 +1,6 @@
+val aa1 = {
+  object O1 extends AnyRef
+  Array(O1)
+}
+
+val aa2: Array[_ <: AnyRef] = aa1

tests/pos/i14152.scala

@@ -0,0 +1,6 @@
+val aa1 = {
+  object O1 extends AnyRef
+  Array(Array(O1))
+}
+
+val aa2: Array[_ <: Array[_ <: AnyRef]] = aa1