switched chosen overload

added some tests

found pattern

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

fix

Author: iusildra

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

@@ -1502,6 +1502,8 @@ trait Applications extends Compatibility {
     }
 
   private def onMethod(tp: Type, followApply: Boolean)(p: TermRef => Boolean)(using Context): Boolean = tp match {
+    case expr: TermRef if expr.widenSingleton.isInstanceOf[ExprType] =>
+      tp.member(nme.apply).hasAltWith(d => p(TermRef(tp, nme.apply, d)))
     case methRef: TermRef if methRef.widenSingleton.isInstanceOf[MethodicType] =>
       p(methRef)
     case mt: MethodicType =>
@@ -1787,8 +1789,7 @@ trait Applications extends Compatibility {
   def narrowMostSpecific(alts: List[TermRef])(using Context): List[TermRef] = {
     record("narrowMostSpecific")
     alts match {
-      case Nil => alts
-      case _ :: Nil => alts
+      case Nil | _ :: Nil => alts
       case alt1 :: alt2 :: Nil =>
         compare(alt1, alt2) match {
           case  1 => alt1 :: Nil
@@ -1955,7 +1956,7 @@ trait Applications extends Compatibility {
     }
 
     def narrowByTypes(alts: List[TermRef], argTypes: List[Type], resultType: Type): List[TermRef] =
-      alts.filterConserve(isApplicableMethodRef(_, argTypes, resultType, ArgMatch.CompatibleCAP))
+      alts.filterConserve { isApplicableType(_, argTypes, resultType) }
 
     /** Normalization steps before checking arguments:
      *

tests/run/i18294.scala

@@ -0,0 +1,37 @@
+def f1(s: Int): String = "a"
+def f1: Int => String = _ => "b"
+
+def f2(s: Int): String = "a"
+val f2: Int => String = _ => "b"
+
+def f3(s: Int): String = "a"
+def f3(): Int => String = _ => "b"
+
+object DefDef:
+  def f4(s: Int): String = "a"
+  def f4: Int => String = _ => "b"
+object DefVal:
+  def f5(s: Int): String = "a"
+  val f5: Int => String = _ => "b"
+
+@main def Test =
+  val test01: Int => String = f1
+  val test02: Int => String = f2
+  val test03: Int => String = f3
+
+  val test1: Int => String = DefDef.f4
+  def dtest1: Int => String = DefDef.f4
+
+  val test2: Int => String = DefVal.f5
+  def dtest2: Int => String = DefVal.f5
+
+  assert(test03(0) == "a")
+
+  assert(test01(0) == "b")
+  assert(test02(0) == "b")
+
+  assert(test1(0) == "b")
+  assert(dtest1(0) == "b")
+
+  assert(test2(0) == "b")
+  assert(dtest2(0) == "b")