Finally did something about broken irrefutability.

The parser has always been confused about tuple patterns in
for comprehensions.  It thinks it can fail to recognize an
irrefutable pattern and have it removed in refchecks, but it
is sadly mistaken, because the unnecessary filter has a tendency
to fail the compile in typer.

Look more intently for irrefutable patterns and don't insert
the unnecessary filter.  Closes SI-5589, SI-1336.

1 files changed, 10 insertions, 0 deletions

diff --git a/test/files/pos/t1336.scala b/test/files/pos/t1336.scala
new file mode 100644
index 0000000000..63967985c7
--- /dev/null
+++ b/test/files/pos/t1336.scala
@@ -0,0 +1,10 @@
+object Foo {
+  def foreach( f : ((Int,Int)) => Unit ) {
+    println("foreach")
+    f(1,2)
+  }
+
+  for( (a,b) <- this ) {
+    println((a,b))
+  }
+}