Fix #6207: Avoid hardcoded Dotty version

sbt-dotty/sbt-test/sbt-dotty/quoted-example-project/build.sbt

@@ -1,7 +1,7 @@
 scalaVersion := sys.props("plugin.scalaVersion")
 
 libraryDependencies ++= Seq(
-      "ch.epfl.lamp" % "dotty_0.14" % scalaVersion.value,
-      "ch.epfl.lamp" % "dotty_0.14" % scalaVersion.value % "test->runtime",
+      "ch.epfl.lamp" %% "dotty-compiler" % scalaVersion.value,
+      "ch.epfl.lamp" %% "dotty-compiler" % scalaVersion.value % "test->runtime",
       "com.novocode" % "junit-interface" % "0.11" % "test"
-    )
+    )

sbt-dotty/sbt-test/sbt-dotty/quoted-example-project/src/test/scala/hello/Tests.scala

@@ -0,0 +1,36 @@
+package hello
+
+import org.junit.Test
+
+// Import Expr and some extension methods
+import scala.quoted._
+
+class Tests {
+
+  implicit val toolbox: scala.quoted.Toolbox = scala.quoted.Toolbox.make(getClass.getClassLoader)
+
+  @Test def test(): Unit = {
+    import hello.Main._
+
+    val square = stagedPower(2)
+
+    assert(Math.pow(3, 2) == square(3))
+
+    square(3)
+    square(4)
+
+    assert(Math.pow(4, 2) == square(4))
+
+    val cube = stagedPower(3)
+    cube(2)
+
+
+    assert(Math.pow(2, 3) == cube(2))
+
+
+
+    val toTheFourth = stagedPower(4)
+    assert(Math.pow(3, 4) == toTheFourth(3))
+  }
+
+}

sbt-dotty/sbt-test/sbt-dotty/quoted-example-project/test

@@ -1 +1,2 @@
 > run
+> test