Merge pull request scala#11147 from dotty-staging/fix-#11141

Force less when computing the type of a module val
dotty-staging · Jan 19, 2021 · b4d0cd4 · b4d0cd4
2 parents 4532c71 + a437a82
commit b4d0cd4
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/typer/Namer.scala b/compiler/src/dotty/tools/dotc/typer/Namer.scala
@@ -1328,8 +1328,9 @@ class Namer { typer: Typer =>
    */
   def moduleValSig(sym: Symbol)(using Context): Type = {
     val clsName = sym.name.moduleClassName
-    val cls = ctx.denotNamed(clsName).suchThat(_.is(ModuleClass))
-      .orElse(newStubSymbol(ctx.owner, clsName).assertingErrorsReported)
+    val cls = ctx.effectiveScope.lookupAll(clsName)
+      .find(_.is(ModuleClass))
+      .getOrElse(newStubSymbol(ctx.owner, clsName).assertingErrorsReported)
     ctx.owner.thisType.select(clsName, cls)
   }
 

diff --git a/tests/pos/i11141.scala b/tests/pos/i11141.scala
@@ -0,0 +1,5 @@
+package p
+export X._
+
+object X:
+  val A = 42