unapply code in typer needs call to memberType?

1 files changed, 25 insertions, 0 deletions

diff --git a/test/pending/pos/unapplyNeedsMemberType.scala b/test/pending/pos/unapplyNeedsMemberType.scala
new file mode 100644
index 0000000000..b423257e04
--- /dev/null
+++ b/test/pending/pos/unapplyNeedsMemberType.scala
@@ -0,0 +1,25 @@
+// error with -Xunapply, (because of missing call to memberType?)
+
+trait Gunk[a] {
+
+  type Seq
+
+  object Cons {
+    def unapply(s: Seq) = unapply_Cons(s)
+  }
+  def unapply_Cons(s: Any): Option[Tuple2[a, Seq]]
+}
+
+class Join[a] extends Gunk[a] {
+  type Seq = JoinSeq
+
+  abstract class JoinSeq
+  case class App(xs: Seq, ys: Seq) extends JoinSeq
+
+  def append(s1: Seq, s2: Seq): Seq = s1 // mock implementation
+
+  def unapply_Cons(s: Any) = s match {
+    case App(Cons(x, xs), ys) => Some(Pair(x, append(xs, ys)))
+    case _ => null
+  }
+}