switched chosen overload

Author: iusildra

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

@@ -1503,7 +1503,7 @@ trait Applications extends Compatibility {
 
   private def onMethod(tp: Type, followApply: Boolean)(p: TermRef => Boolean)(using Context): Boolean = tp match {
     case methRef: TermRef if methRef.widenSingleton.isInstanceOf[MethodicType] =>
-      p(methRef)
+      p(methRef) || tp.member(nme.apply).hasAltWith(d => p(TermRef(tp, nme.apply, d)))
     case mt: MethodicType =>
       p(mt.narrow)
     case _ =>
@@ -1644,7 +1644,7 @@ trait Applications extends Compatibility {
               tp2.isVarArgsMethod
               && isApplicableMethodRef(alt2, tp1.paramInfos.map(_.repeatedToSingle), WildcardType, ArgMatch.Compatible)
             else
-              isApplicableMethodRef(alt2, tp1.paramInfos, WildcardType, ArgMatch.Compatible)
+              isApplicableMethodRef(alt2, tp1.paramInfos, WildcardType, ArgMatch.Compatible)// || isApplicableType(alt2, tp1.paramInfos, WildcardType)
           }
         case tp1: PolyType => // (2)
           inContext(ctx.fresh.setExploreTyperState()) {
@@ -1787,8 +1787,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 +1954,10 @@ 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 { alt =>
+        isApplicableMethodRef(alt, argTypes, resultType, ArgMatch.CompatibleCAP)
+        || isApplicableType(alt, argTypes, resultType)
+      }
 
     /** Normalization steps before checking arguments:
      *

tests/run/i18294.scala

@@ -0,0 +1,6 @@
+def f(s: Int): String = "a"
+def f: Int => String = _ => "b"
+
+@main def Test =
+  val test: Int => String = f
+  assert(test(0) == "b")