Auto-uncurry n-ary functions.

Implements SIP #897.

1 files changed, 22 insertions, 0 deletions

diff --git a/tests/neg/function-arity.scala b/tests/neg/function-arity.scala
new file mode 100644
index 000000000..83aa94482
--- /dev/null
+++ b/tests/neg/function-arity.scala
@@ -0,0 +1,22 @@
+object Test {
+
+  // From #873:
+
+  trait X extends Function1[Int, String]
+  implicit def f2x(f: Function1[Int, String]): X = ???
+  ({case _ if "".isEmpty => 0} : X) // error: expected String, found Int
+
+  // Tests where parameter list cannot be made into a pattern
+
+  def unary[T](x: T => Unit) = ???
+  unary((x, y) => ())   // error
+
+  unary[(Int, Int)]((x, y) => ())
+
+  unary[(Int, Int)](() => ())   // error
+  unary[(Int, Int)]((x, y, _) => ()) // error
+
+  unary[(Int, Int)]((x: String, y) => ()) // error
+
+
+}