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-this.scala b/test/files/run/idempotency-this.scala
new file mode 100644
index 0000000000..5cd4226326
--- /dev/null
+++ b/test/files/run/idempotency-this.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 thiss = reify {
+    List[String]("")
+  }
+  println(thiss.eval)
+  val tb = cm.mkToolBox()
+  val tthiss = tb.typeCheck(thiss.tree)
+  println(tthiss)
+  println(showRaw(tthiss))
+  val rtthiss = tb.resetAllAttrs(tthiss)
+  try {
+    println(tb.eval(rtthiss))
+  } catch {
+    // this is the current behaviour, rather than the desired behavior; see SI-5705
+    case _: ToolBoxError => println("error!")
+  }
+}
\ No newline at end of file