From 29104c9755a9d6393959a416650422b84f0957f2 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sat, 31 Oct 2015 12:58:01 +0100 Subject: Auto-uncurry n-ary functions. Implements SIP #897. --- tests/neg/function-arity.scala | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 tests/neg/function-arity.scala (limited to 'tests/neg/function-arity.scala') 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 + + +} -- cgit v1.2.3