Auto-uncurry n-ary functions.

Implements SIP #897.

1 files changed, 18 insertions, 0 deletions

diff --git a/tests/pos/function-arity.scala b/tests/pos/function-arity.scala
new file mode 100644
index 000000000..bb1a1cb8e
--- /dev/null
+++ b/tests/pos/function-arity.scala
@@ -0,0 +1,18 @@
+object Test {
+  def call(k: (Int, Int) => Unit): Unit = ???
+  def test = call({ case (x, y) => ()})
+
+  trait X extends Function1[Int, String]
+  implicit def f2x(f: Function1[Int, String]): X = ???
+  ({case _ if "".isEmpty => ""} : X) // allowed, implicit view used to adapt
+
+  // ({case _ if "".isEmpty => 0} : X) // expected String, found Int
+
+  def unary[T](a: T, b: T, f: ((T, T)) => T): T = f((a, b))
+  unary(1, 2, (x, y) => x)
+  unary(1, 2, (x: Int, y) => x)
+  unary(1, 2, (x: Int, y: Float) => x)
+
+  val xs = List(1, 2, 3)
+  xs.zipWithIndex.map(_ + _)
+}