Merge pull request #9122 from dotty-staging/fix-#8925

fix #8925: check for NamedArg when inserting implicit arguments

Author: bishabosha

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

@@ -3058,6 +3058,8 @@ class Typer extends Namer
         else tree match {
           case tree: Block =>
             readaptSimplified(tpd.Block(tree.stats, tpd.Apply(tree.expr, args)))
+          case tree: NamedArg =>
+            readaptSimplified(tpd.NamedArg(tree.name, tpd.Apply(tree.arg, args)))
           case _ =>
             readaptSimplified(tpd.Apply(tree, args))
         }

tests/neg/i8925.scala

@@ -0,0 +1,17 @@
+trait Parent {
+  type Child
+}
+
+object Demo {
+  def params(arr: Int): Int = ???
+
+  def parametersOf[Parent, T]()(using m: String): Int = 0
+
+  def combineInternal(using p: Parent): Int = {
+    //this implicit needs to be available
+    implicit val s: String = ""
+
+    //parameter needs to be named
+    params(arr = parametersOf[Parent, p.Child]) // error: method parametersOf must be called with () argument
+  }
+}

tests/pos/i8925.scala

@@ -0,0 +1,17 @@
+trait Parent {
+  type Child
+}
+
+object Demo {
+  def params(arr: Int): Int = ???
+
+  def parametersOf[Parent, T]()(using m: String): Int = 0
+
+  def combineInternal(using p: Parent): Int = {
+    //this implicit needs to be available
+    implicit val s: String = ""
+
+    //parameter needs to be named
+    params(arr = parametersOf[Parent, p.Child]())
+  }
+}