Trial: Improved narrowing for overloading resolution

Author: odersky

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

@@ -2219,11 +2219,11 @@ trait Applications extends Compatibility {
         deepPt match
           case pt @ FunProto(_, PolyProto(targs, resType)) =>
             // try to narrow further with snd argument list and following type params
-            resolveMapped(candidates,
+            resolveMapped(found,
               skipParamClause(pt.typedArgs().tpes, targs.tpes), resType)
           case pt @ FunProto(_, resType: FunOrPolyProto) =>
             // try to narrow further with snd argument list
-            resolveMapped(candidates,
+            resolveMapped(found,
               skipParamClause(pt.typedArgs().tpes, Nil), resType)
           case _ =>
             // prefer alternatives that need no eta expansion
@@ -2245,7 +2245,7 @@ trait Applications extends Compatibility {
                 // try again with a deeper known expected type
                 resolveOverloaded1(alts, deepPt)
               else
-                candidates
+                found
     }
   end resolveOverloaded1