From 7dfab5f427ad9600b8e54b61716461787d7fa4a1 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 9 Mar 2016 18:34:31 +0100
Subject: Refine pretypeArgs

It worked more or less by accident before. Now it's more complicated,
but we also have tests.
---
 tests/neg/overloaded.scala | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 tests/neg/overloaded.scala

(limited to 'tests/neg')

diff --git a/tests/neg/overloaded.scala b/tests/neg/overloaded.scala
new file mode 100644
index 000000000..ce971ebcf
--- /dev/null
+++ b/tests/neg/overloaded.scala
@@ -0,0 +1,17 @@
+// testing the limits of parameter type inference
+
+object Test {
+  def mapX(f: Char => Char): String = ???
+  def mapX[U](f: U => U): U = ???
+  mapX(x => x) // error: missing parameter type
+
+  def foo(f: Char => Char): Unit = ???
+  def foo(f: Int => Int): String = ???
+  foo(x => x) // error: missing parameter type
+
+  def bar(f: (Char, Char) => Unit): Unit = ???
+  def bar(f: Char => Unit) = ???
+  bar((x, y) => ())
+  bar (x => ())
+
+}
-- 
cgit v1.2.3