Short circuit adding evidence params to poly functions, when there ar…

…e no context bounds
scala · Nov 14, 2024 · f292ac5 · f292ac5
1 parent 24e3fa0
commit f292ac5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/ast/Desugar.scala b/compiler/src/dotty/tools/dotc/ast/Desugar.scala
@@ -351,6 +351,7 @@ object desugar {
         val Function(vparams: List[untpd.ValDef] @unchecked, rhs) = fun: @unchecked
         val newParamss = paramssNoContextBounds(tparams :: vparams :: Nil)
         val params = evidenceParamBuf.toList
+        if params.isEmpty then return meth
         val boundNames = getBoundNames(params, newParamss)
         val recur = fitEvidenceParams(params, nme.apply, boundNames)
         val (paramsFst, paramsSnd) = recur(newParamss)