Address review comments

compiler/src/dotty/tools/dotc/core/TypeUtils.scala

@@ -191,8 +191,8 @@ class TypeUtils:
       case self: RefinedOrRecType => self.parent.stripRefinement
       case seld => self
 
-    /** The constructors of this tyoe that that are applicable to `argTypes`, without needing
-     *  an implicit conversion.
+    /** The constructors of this type that are applicable to `argTypes`, without needing
+     *  an implicit conversion. Curried constructors are always excluded.
      *  @param adaptVarargs   if true, allow a constructor with just a varargs argument to
      *                        match an empty argument list.
      */
@@ -208,7 +208,7 @@ class TypeUtils:
               && atPhaseNoLater(Phases.elimRepeatedPhase)(constr.info.isVarArgsMethod)
             then // accept missing argument for varargs parameter
               paramInfos = paramInfos.init
-            argTypes.corresponds(paramInfos)(_ <:< _)
+            argTypes.corresponds(paramInfos)(_ <:< _) && !ctpe.resultType.isInstanceOf[MethodType]
           case _ =>
             false
         recur(constr.info)

tests/neg/i15855.scala

@@ -1,10 +1,15 @@
-// crash.scala
-import scala.language.implicitConversions
-
 class MyFunction(args: String)
 
 trait MyFunction0[+R] extends MyFunction {
   def apply(): R
 }
 
 def fromFunction0[R](f: Function0[R]): MyFunction0[R] = () => f() // error
+
+class MyFunctionWithImplicit(implicit args: String)
+
+trait MyFunction0WithImplicit[+R] extends MyFunctionWithImplicit {
+  def apply(): R
+}
+
+def fromFunction1[R](f: Function0[R]): MyFunction0WithImplicit[R] = () => f() // error

tests/run/i15855.scala

@@ -1,6 +1,3 @@
-// crash.scala
-import scala.language.implicitConversions
-
 class MyFunction(args: String*)
 
 trait MyFunction0[+R] extends MyFunction {