Fix curried overloading resolution for polymorphic methods

Fixes scala#16484
dotty-staging · Dec 22, 2022 · 55dbf64 · 55dbf64
1 parent 3beadfb
commit 55dbf64
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala
@@ -2140,7 +2140,7 @@ trait Applications extends Compatibility {
     val reverseMapping = alts.flatMap { alt =>
       val t = f(alt)
       if t.exists then
-        val (trimmed, skipped) = trimParamss(t, alt.symbol.rawParamss)
+        val (trimmed, skipped) = trimParamss(t.stripPoly, alt.symbol.rawParamss)
         val mappedSym = alt.symbol.asTerm.copy(info = t)
         mappedSym.rawParamss = trimmed
         val (pre, totalSkipped) = mappedAltInfo(alt.symbol) match

diff --git a/tests/pos/i16484.scala b/tests/pos/i16484.scala
@@ -0,0 +1,3 @@
+trait JWTEncoder:
+  def encode[P](arg: String)(opt: Option[String] = None): String
+  def encode[P](arg: String): String = encode(arg)()