Add more pos and neg tests

Tests suggested by @retronym's comments on issue scala#897.
dotty-staging · Nov 1, 2015 · 0b87375 · 0b87375
1 parent f07fcd8
commit 0b87375
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala
@@ -102,7 +102,7 @@ class tests extends CompilerTest {
 
   @Test def neg_abstractOverride() = compileFile(negDir, "abstract-override", xerrors = 2)
   @Test def neg_blockescapes() = compileFile(negDir, "blockescapesNeg", xerrors = 1)
-  @Test def neg_functionArity() = compileFile(negDir, "function-arity", xerrors = 5)
+  @Test def neg_functionArity() = compileFile(negDir, "function-arity", xerrors = 6)
   @Test def neg_typedapply() = compileFile(negDir, "typedapply", xerrors = 4)
   @Test def neg_typedidents() = compileFile(negDir, "typedIdents", xerrors = 2)
   @Test def neg_assignments() = compileFile(negDir, "assignments", xerrors = 3)

diff --git a/tests/neg/function-arity.scala b/tests/neg/function-arity.scala
@@ -18,5 +18,7 @@ object Test {
 
   unary[(Int, Int)]((x: String, y) => ()) // error
 
-
+  def foo(a: Tuple2[Int, Int] => String): String = ""
+  def foo(a: Any => String) = ()
+  foo((a: Int, b: String) => a + b) // error: none of the overloaded alternatives of method foo match arguments (Int, Int)
 }
diff --git a/tests/pos/function-arity.scala b/tests/pos/function-arity.scala
@@ -14,5 +14,7 @@ object Test {
   unary(1, 2, (x: Int, y: Float) => x)
 
   val xs = List(1, 2, 3)
+  def f(x: Int, y: Int) = x * y
   xs.zipWithIndex.map(_ + _)
+  xs.zipWithIndex.map(f)
 }