SI-7789 make quasiquotes deconstruct UnApply trees

1 files changed, 25 insertions, 0 deletions

diff --git a/test/files/scalacheck/quasiquotes/TypecheckedProps.scala b/test/files/scalacheck/quasiquotes/TypecheckedProps.scala
index f443330e0b..2f501435e3 100644
--- a/test/files/scalacheck/quasiquotes/TypecheckedProps.scala
+++ b/test/files/scalacheck/quasiquotes/TypecheckedProps.scala
@@ -50,4 +50,29 @@ object TypecheckedProps extends QuasiquoteProperties("typechecked") {
     assert(enums1 ≈ enums)
     assert(body1 ≈ body)
   }
+
+  property("extract UnApply (1)") = test {
+    val q"object $_ { $_; $_; $m }" = typecheck(q"""
+      object Test {
+        class Cell(val x: Int)
+        object Cell { def unapply(c: Cell) = Some(c.x) }
+        new Cell(0) match { case Cell(v) => v }
+      }
+    """)
+    val q"$_ match { case $f(..$args) => $_ }" = m
+    assert(f ≈ pq"Test.this.Cell")
+    assert(args ≈ List(pq"v"))
+  }
+
+  property("extract UnApply (2)") = test {
+    val q"object $_ { $_; $_; $m }" = typecheck(q"""
+      object Test {
+        case class Cell(val x: Int)
+        new Cell(0) match { case Cell(v) => v }
+      }
+    """)
+    val q"$_ match { case ${f: TypeTree}(..$args) => $_ }" = m
+    assert(f.original ≈ pq"Test.this.Cell")
+    assert(args ≈ List(pq"v"))
+  }
 }
\ No newline at end of file