Test usage of SubpatternsAttachment from a macro

2 files changed, 23 insertions, 0 deletions

diff --git a/test/files/run/macro-subpatterns/Macro_1.scala b/test/files/run/macro-subpatterns/Macro_1.scala
new file mode 100644
index 0000000000..d8e86e27c6
--- /dev/null
+++ b/test/files/run/macro-subpatterns/Macro_1.scala
@@ -0,0 +1,18 @@
+import scala.reflect.macros.WhiteboxContext
+import language.experimental.macros
+
+object Extractor {
+  def unapply(x: Any): Any = macro unapplyImpl
+  def unapplyImpl(c: WhiteboxContext)(x: c.Tree) = {
+    val st = c.universe.asInstanceOf[reflect.internal.SymbolTable]
+    import st._
+    val subpatterns = x.attachments.get[SubpatternsAttachment].get.patterns
+    q"""
+      new {
+        def isEmpty = false
+        def get = ${subpatterns.toString}
+        def unapply(x: Any) = this
+      }.unapply(${x.asInstanceOf[st.Tree]})
+    """.asInstanceOf[c.Tree]
+  }
+}
diff --git a/test/files/run/macro-subpatterns/Test_2.scala b/test/files/run/macro-subpatterns/Test_2.scala
new file mode 100644
index 0000000000..dc6e668877
--- /dev/null
+++ b/test/files/run/macro-subpatterns/Test_2.scala
@@ -0,0 +1,5 @@
+object Test extends App {
+  42 match {
+    case Extractor(a @ Extractor(b @ Extractor(c))) => println(a); println(b); println(c)
+  }
+}