fix: do not mark definitions from empty pagkages as experimental

scala · Sep 20, 2024 · 0d0a8e7 · 0d0a8e7
1 parent 25ad99c
commit 0d0a8e7
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -835,8 +835,9 @@ object Checking {
 
     if ctx.owner.is(Package) || ctx.owner.name.startsWith(str.REPL_SESSION_LINE) then
       def markTopLevelDefsAsExperimental(why: String): Unit =
-        for sym <- nonExperimentalTopLevelDefs(ctx.owner) do
-          sym.addAnnotation(ExperimentalAnnotation(s"Added by $why", sym.span))
+        if !ctx.owner.isEmptyPackage then
+          for sym <- nonExperimentalTopLevelDefs(ctx.owner) do
+            sym.addAnnotation(ExperimentalAnnotation(s"Added by $why", sym.span))
 
       unitExperimentalLanguageImports match
         case imp :: _ => markTopLevelDefsAsExperimental(i"top level $imp")