Add more pos and neg tests

Tests suggested by @retronym's comments on issue #897.

Author: odersky

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)

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)
 }

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)
 }