Restore irrefutability commits.

This reverts commit d8ba5d091e5641553b438ef9930a6023a2709dcd.

1 files changed, 22 insertions, 0 deletions

diff --git a/test/files/pos/irrefutable.scala b/test/files/pos/irrefutable.scala
new file mode 100644
index 0000000000..0a792b644a
--- /dev/null
+++ b/test/files/pos/irrefutable.scala
@@ -0,0 +1,22 @@
+// The test which this should perform but does not
+// is that f1 is recognized as irrefutable and f2 is not
+// This can be recognized via the generated classes:
+//
+// A$$anonfun$f1$1.class
+// A$$anonfun$f2$1.class
+// A$$anonfun$f2$2.class
+//
+// The extra one in $f2$ is the filter.
+//
+// !!! Marking with exclamation points so maybe someday
+// this test will be finished.
+class A {
+  case class Foo[T](x: T)
+
+  def f1(xs: List[Foo[Int]]) = {
+    for (Foo(x: Int) <- xs) yield x
+  }
+  def f2(xs: List[Foo[Any]]) = {
+    for (Foo(x: Int) <- xs) yield x
+  }
+}