diff options
author | Paul Phillips <paulp@improving.org> | 2014-01-09 13:27:34 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2014-01-09 13:27:34 -0800 |
commit | 9dae7420cf8cbc6a0fb2fddee93f87563da0d83d (patch) | |
tree | e94e570a09d70149be84e186880ce78e6d8700fe /test/pending | |
parent | 969a269033ee3477cb21a539cf2b5b6fa308d105 (diff) | |
parent | 3e9e2c65a6a0144edbf86949295e776c8cdf2e67 (diff) | |
download | scala-9dae7420cf8cbc6a0fb2fddee93f87563da0d83d.tar.gz scala-9dae7420cf8cbc6a0fb2fddee93f87563da0d83d.tar.bz2 scala-9dae7420cf8cbc6a0fb2fddee93f87563da0d83d.zip |
Merge pull request #13 from retronym/ticket/8128
SI-8128 Fix regression in extractors returning existentials
Diffstat (limited to 'test/pending')
-rw-r--r-- | test/pending/pos/t8128b.scala | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/pending/pos/t8128b.scala b/test/pending/pos/t8128b.scala new file mode 100644 index 0000000000..dd44a25a90 --- /dev/null +++ b/test/pending/pos/t8128b.scala @@ -0,0 +1,18 @@ +class Optiony[X] { def isEmpty = true; def get: X = ??? } +class Seqy[X] { def head: X = ???; def length = 0; def apply(i: Int): X = ??? } + +object G { + def unapply(m: Any): Optiony[_] = ??? +} + +object H { + def unapplySeq(m: Any): Optiony[Seqy[_]] = ??? +} + +object Test { + (0: Any) match { + case G(v) => v + case H(v) => v + case _ => + } +} |