aboutsummaryrefslogtreecommitdiff
path: root/tests/disabled/macro/run/idempotency-extractors.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/disabled/macro/run/idempotency-extractors.scala')
-rw-r--r--tests/disabled/macro/run/idempotency-extractors.scala22
1 files changed, 22 insertions, 0 deletions
diff --git a/tests/disabled/macro/run/idempotency-extractors.scala b/tests/disabled/macro/run/idempotency-extractors.scala
new file mode 100644
index 000000000..f5d6cd193
--- /dev/null
+++ b/tests/disabled/macro/run/idempotency-extractors.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 dotty.runtime.LegacyApp {
+ object Extractor { def unapply(x: Int): Option[Int] = Some(x) }
+ val extractor = reify {
+ 2 match { case Extractor(x) => x }
+ }
+ println(extractor.eval)
+ val tb = cm.mkToolBox()
+ val textractor = tb.typecheck(extractor.tree)
+ println(textractor)
+ val rtextractor = tb.untypecheck(textractor)
+ try {
+ println(tb.eval(rtextractor))
+ } catch {
+ // this is the current behaviour, rather than the desired behavior; see SI-5465
+ case _: ToolBoxError => println("error!")
+ }
+}