fix

Author: iusildra

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

@@ -3727,12 +3727,15 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
           if tree.tpe.isErroneous || pt.isErroneous then
             tree.withType(UnspecifiedErrorType)
           else
-            alts.map(_.widen) match {
-              case List(_: AppliedType, _: MethodType) | List(_: MethodType, _: AppliedType) => errorAmbiguous
-              case List(ExprType(_: AppliedType), _: MethodType) | List(_: MethodType, ExprType(_: AppliedType)) => errorAmbiguous
-              case _ => tryParameterless(alts)(errorAmbiguous)
-            }
-
+            pt match
+              case _: FunProto => errorAmbiguous
+              case _ =>
+                alts.map(_.widen) match
+                  case List(_: AppliedType, _: MethodType) | List(_: MethodType, _: AppliedType) => errorAmbiguous
+                  case List(ExprType(_: AppliedType), _: MethodType) | List(_: MethodType, ExprType(_: AppliedType)) => errorAmbiguous
+                  case _ => tryParameterless(alts)(errorAmbiguous)
+                end match
+            end match
       end match
     end adaptOverloaded