diff options
Diffstat (limited to 'test/files/pos/unapplyNeedsMemberType.scala')
-rw-r--r-- | test/files/pos/unapplyNeedsMemberType.scala | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/test/files/pos/unapplyNeedsMemberType.scala b/test/files/pos/unapplyNeedsMemberType.scala new file mode 100644 index 0000000000..b423257e04 --- /dev/null +++ b/test/files/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 + } +} |