Trial: Improved narrowing for overloading resolution

scala · Apr 4, 2024 · 714c774 · 714c774
1 parent 8eeee0b
commit 714c774
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/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