Refine pretypeArgs

It worked more or less by accident before. Now it's more complicated,
but we also have tests.

1 files changed, 23 insertions, 1 deletions

diff --git a/tests/pos/overloaded.scala b/tests/pos/overloaded.scala
index 9e2260c1c..6a8e72714 100644
--- a/tests/pos/overloaded.scala
+++ b/tests/pos/overloaded.scala
@@ -24,5 +24,27 @@ object overloaded {
 
   def map(f: Char => Char): String = ???
   def map[U](f: Char => U): Seq[U] = ???
-  map(x => x.toUpper)
+  val r1 = map(x => x.toUpper)
+  val t1: String = r1
+  val r2 = map(x => x.toInt)
+  val t2: Seq[Int] = r2
+
+  def flatMap(f: Char => String): String = ???
+  def flatMap[U](f: Char => Seq[U]): Seq[U] = ???
+  val r3 = flatMap(x => x.toString)
+  val t3: String = r3
+  val r4 = flatMap(x => List(x))
+  val t4: Seq[Char] = r4
+
+  def bar(f: (Char, Char) => Unit): Unit = ???
+  def bar(f: Char => Unit) = ???
+  bar((x, y) => ())
+  bar (x => ())
+
+  def combine(f: (Char, Int) => Int): Int = ???
+  def combine(f: (String, Int) => String): String = ???
+  val r5 = combine((x: Char, y) => x + y)
+  val t5: Int = r5
+  val r6 = combine((x: String, y) => x ++ y.toString)
+  val t6: String = r6
 }