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, 22 insertions, 0 deletions

diff --git a/test/files/run/idempotency-labels.scala b/test/files/run/idempotency-labels.scala
new file mode 100644
index 0000000000..82d009751a
--- /dev/null
+++ b/test/files/run/idempotency-labels.scala
@@ -0,0 +1,22 @@
+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 label = reify {
+    var x = 0
+    while (x < 2) { x += 1 }
+    x
+  }
+  println(label.eval)
+  val tb = cm.mkToolBox()
+  val tlabel = tb.typeCheck(label.tree)
+  println(tlabel)
+  val rtlabel = tb.resetAllAttrs(tlabel)
+  try {
+    println(tb.eval(rtlabel))
+  } catch {
+    case _: ToolBoxError => println("error!")
+  }
+}
\ No newline at end of file