Support all combinations of explicit type parameters

Support all combinations of explicit vs inferred type parameters
in overloaded variants with multiple type parameter lists.

Author: odersky

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

@@ -1899,11 +1899,16 @@ trait Applications extends Compatibility {
     /** The type of alternative `alt` after instantiating its first parameter
      *  clause with `argTypes`.
      */
-    def skipParamClause(argTypes: List[Type])(alt: TermRef): Type =
+    def skipParamClause(argTypes: List[Type], typeArgs: List[Type])(alt: TermRef): Type =
       def skip(tp: Type): Type = tp match {
         case tp: PolyType =>
-          val rt = skip(tp.resultType)
-          if rt.exists then tp.derivedLambdaType(resType = rt).asInstanceOf[PolyType].flatten else rt
+          skip(tp.resultType) match
+            case NoType =>
+              NoType
+            case rt: PolyType if typeArgs.length == rt.paramInfos.length =>
+              tp.derivedLambdaType(resType = rt.instantiate(typeArgs))
+            case rt =>
+              tp.derivedLambdaType(resType = rt).asInstanceOf[PolyType].flatten
         case tp: MethodType =>
           tp.instantiate(argTypes)
         case _ =>
@@ -1926,9 +1931,14 @@ trait Applications extends Compatibility {
       else
         val deepPt = pt.deepenProto
         deepPt match
+          case pt @ FunProto(_, PolyProto(targs, resType)) =>
+            // try to narrow further with snd argument list and following type params
+            resolveMapped(candidates,
+              skipParamClause(pt.typedArgs().tpes, targs.tpes), resType)
           case pt @ FunProto(_, resType: FunOrPolyProto) =>
             // try to narrow further with snd argument list
-            resolveMapped(candidates, skipParamClause(pt.typedArgs().tpes), resType)
+            resolveMapped(candidates,
+              skipParamClause(pt.typedArgs().tpes, Nil), resType)
           case _ =>
             // prefer alternatives that need no eta expansion
             val noCurried = alts.filter(!resultIsMethod(_))

tests/pos/i11358.scala

@@ -2,6 +2,12 @@ object Test:
 
   def test1: IArray[Int] = IArray(1, 2) +++ IArray(2, 3)
   def test2: IArray[Int] = IArray(1, 2) +++ List(2, 3)
+  def test3 = +++[Int](IArray(1, 2))(IArray(2, 3))
+  def test4 = +++[Int](IArray(1, 2))(List(2, 3))
+  def test5: IArray[Int] = IArray(1, 2).+++[Int](IArray(2, 3))
+  def test6: IArray[Int] = IArray(1, 2).+++[Int](List(2, 3))
+  def test7 = +++(IArray(1, 2))[Int](IArray(2, 3))
+  def test8 = +++(IArray(1, 2))[Int](List(2, 3))
 
   extension [A: reflect.ClassTag](arr: IArray[A])
     def +++[B >: A: reflect.ClassTag](suffix: IArray[B]): IArray[B] = ???