tests for idempotency issues in the typechecker

For more details see https://issues.scala-lang.org/browse/SI-5464.

Check files are intentionally very precise, so that we can monitor
how the situation changes over time.

1 files changed, 27 insertions, 0 deletions

diff --git a/test/files/run/idempotency-lazy-vals.scala b/test/files/run/idempotency-lazy-vals.scala
new file mode 100644
index 0000000000..3531f9ff4b
--- /dev/null
+++ b/test/files/run/idempotency-lazy-vals.scala
@@ -0,0 +1,27 @@
+import scala.reflect.runtime.universe._
+import scala.reflect.runtime.{currentMirror => cm}
+import scala.tools.reflect.{ToolBox, ToolBoxError}
+import scala.tools.reflect.Eval
+
+object Test extends App {
+  val lazee = reify {
+    class C {
+      lazy val x = 2
+      implicit lazy val y = 3
+    }
+    val c = new C()
+    import c._
+    x * implicitly[Int]
+  }
+  println(lazee.eval)
+  val tb = cm.mkToolBox()
+  val tlazee = tb.typeCheck(lazee.tree)
+  println(tlazee)
+  val rtlazee = tb.resetAllAttrs(tlazee)
+  try {
+    println(tb.eval(rtlazee))
+  } catch {
+    // this is the current behaviour, rather than the desired behavior; see SI-5466
+    case _: ToolBoxError => println("error!")
+  }
+}
\ No newline at end of file