Merge pull request #3985 from dotty-staging/fix-#3930

Fix #3930: Handle multiple type arguments in overloading resolution

Author: liufengyun

compiler/src/dotty/tools/dotc/typer/Applications.scala

@@ -1389,8 +1389,7 @@ trait Applications extends Compatibility { self: Typer with Dynamic =>
           }
         }
 
-      case pt @ PolyProto(targs1, pt1) =>
-        assert(targs.isEmpty)
+      case pt @ PolyProto(targs1, pt1) if targs.isEmpty =>
         val alts1 = alts filter pt.isMatchedBy
         resolveOverloaded(alts1, pt1, targs1)
 

tests/neg/i3930.scala

@@ -0,0 +1,7 @@
+object A {
+  def a[F](x: Int) = 0
+  def a[F](x: String) = 0
+}
+object Test extends App {
+  A.a[String][Int](3) == 1 // error: ambiguous
+}

tests/run/i3930.scala

@@ -0,0 +1,8 @@
+class Apply { def apply[A](x: Int) = 1 }
+object A {
+  def a[F] = new Apply
+  def a[F](x: String) = 0
+}
+object Test extends App {
+  assert(A.a[String][Int](3) == 1)
+}