Merge pull request #13704 from dotty-staging/fix-13701

Alt fix for #13701

Author: odersky

compiler/src/dotty/tools/dotc/core/SymDenotations.scala

@@ -93,10 +93,11 @@ object SymDenotations {
         if (myFlags.is(Trait)) NoInitsInterface & bodyFlags // no parents are initialized from a trait
         else NoInits & bodyFlags & parentFlags)
 
-    private def isCurrent(fs: FlagSet) =
-      fs <= (
-        if (myInfo.isInstanceOf[SymbolLoader]) FromStartFlags
-        else AfterLoadFlags)
+    def isCurrent(fs: FlagSet)(using Context): Boolean =
+      def knownFlags(info: Type): FlagSet = info match
+        case _: SymbolLoader | _: ModuleCompleter => FromStartFlags
+        case _ => AfterLoadFlags
+      !myInfo.isInstanceOf[LazyType] || fs <= knownFlags(myInfo)
 
     final def relevantFlagsFor(fs: FlagSet)(using Context) =
       if (isCurrent(fs)) myFlags else flags

compiler/test/dotty/tools/repl/JavaDefinedTests.scala

@@ -0,0 +1,16 @@
+package dotty.tools.repl
+
+import org.junit.Assert._
+import org.junit.Test
+
+class JavaDefinedTests extends ReplTest {
+  @Test def typeOfJavaDefinedString = fromInitialState { implicit s =>
+    run("String")
+    assertTrue(storedOutput().contains("Java defined class String is not a value"))
+  }
+
+  @Test def typeOfJavaDefinedClass = fromInitialState { implicit s =>
+    run("Class")
+    assertTrue(storedOutput().contains("Java defined class Class is not a value"))
+  }
+}

tests/neg/i13701.scala

@@ -0,0 +1,2 @@
+@main def Test() = String // error
+