Add assertion to ensure: if the parents of a module is empty, it must…

… be a package.
scala · Oct 3, 2024 · 63e42d3 · 63e42d3
1 parent 8f4210e
commit 63e42d3
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala
@@ -1963,7 +1963,10 @@ trait Applications extends Compatibility {
     def widenPrefix(alt: TermRef): Type = alt.prefix.widen match
       case pre: (TypeRef | ThisType) if pre.typeSymbol.is(Module) =>
         val ps = pre.parents
-        if ps.isEmpty then pre
+        if ps.isEmpty then
+          // The parents of a module class are non-empty, unless the module is a package.
+          assert(pre.typeSymbol.is(Package), pre)
+          pre
         else ps.reduceLeft(TypeComparer.andType(_, _))
       case wpre => wpre