Handle out of sync imports after require + tests

Author: aherlihy

compiler/src/dotty/tools/repl/ReplCompiler.scala

@@ -47,7 +47,11 @@ class ReplCompiler extends Compiler:
       /** Import previous runs and user defined imports */
       override protected def rootContext(using Context): Context = {
         def importContext(imp: tpd.Import)(using Context) =
-          ctx.importContext(imp, imp.symbol)
+          // TODO: only when context has changed?
+          val typer = ctx.typer
+          typer.index(imp)
+          val imp2 = typer.typed(imp).asInstanceOf[tpd.Import]
+          ctx.importContext(imp2, imp2.symbol)
 
         def importPreviousRun(id: Int)(using Context) = {
           // we first import the wrapper object id

compiler/test-resources/jars/MyLibrary.scala

@@ -0,0 +1,10 @@
+// MyLibrary.scala
+package mylibrary
+
+object Utils:
+  def greet(name: String): String = s"Hello, $name!"
+
+class Calculator:
+  def add(x: Int, y: Int): Int = x + y
+  def subtract(x: Int, y: Int): Int = x - y
+

compiler/test-resources/jars/MyLibrary2.scala

@@ -0,0 +1,10 @@
+// MyLibrary2.scala
+package mylibrary2
+
+object Utils2:
+  def greet(name: String): String = s"Hello, $name!"
+
+class Calculator2:
+  def add(x: Int, y: Int): Int = x + y
+  def subtract(x: Int, y: Int): Int = x - y
+

compiler/test-resources/jars/mylibrary.jar

@@ -0,0 +1,32 @@
+scala> val z = 1
+val z: Int = 1
+
+scala>:require compiler/test-resources/jars/mylibrary.jar
+Added 'compiler/test-resources/jars/mylibrary.jar' to classpath.
+
+scala> import mylibrary.Utils
+
+scala> Utils.greet("Alice")
+val res0: String = Hello, Alice!
+
+scala>:require compiler/test-resources/jars/mylibrary2.jar
+Added 'compiler/test-resources/jars/mylibrary2.jar' to classpath.
+
+scala> import mylibrary2.Utils2
+
+scala> Utils2.greet("Alice")
+val res1: String = Hello, Alice!
+
+scala> Utils.greet("Alice")
+val res2: String = Hello, Alice!
+
+scala> import mylibrary.Utils.greet
+
+scala> greet("Tom")
+val res3: String = Hello, Tom!
+
+scala> Utils.greet("Alice")
+val res4: String = Hello, Alice!
+
+scala> z
+val res5: Int = 1