diff options
author | Paul Phillips <paulp@improving.org> | 2012-03-20 20:15:45 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-03-20 20:15:45 -0700 |
commit | fcc63e2b667bdbaddbaacc843de97f8db02f6426 (patch) | |
tree | 9ee7bd6e4cb9e487a0d5c5b9c812a68c4c0ed025 /test/files/neg/t5589neg.scala | |
parent | 1c65152c7aaeb3aeaf8a5e39e6fd51e5b4b95836 (diff) | |
download | scala-fcc63e2b667bdbaddbaacc843de97f8db02f6426.tar.gz scala-fcc63e2b667bdbaddbaacc843de97f8db02f6426.tar.bz2 scala-fcc63e2b667bdbaddbaacc843de97f8db02f6426.zip |
Restore irrefutability commits.
This reverts commit d8ba5d091e5641553b438ef9930a6023a2709dcd.
Diffstat (limited to 'test/files/neg/t5589neg.scala')
-rw-r--r-- | test/files/neg/t5589neg.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/files/neg/t5589neg.scala b/test/files/neg/t5589neg.scala new file mode 100644 index 0000000000..31ff2c3693 --- /dev/null +++ b/test/files/neg/t5589neg.scala @@ -0,0 +1,6 @@ +class A { + def f5(x: Either[Int, String]) = for ((y1, y2: String) <- x.right) yield ((y1, y2)) + def f6(x: Either[Int, String]) = for ((y1, y2: Any) <- x.right) yield ((y1, y2)) + def f7(x: Either[Int, (String, Int)]) = for (y1 @ Tuple1(y2) <- x.right) yield ((y1, y2)) + def f8(x: Either[Int, (String, Int)]) = for ((y1, y2, y3) <- x.right) yield ((y1, y2)) +} |