chore: always consider implicit parameters as a contextual parameter list

hamzaremmal · hamzaremmal · commit 7b64d208c931 · 2025-02-06T15:33:03.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/ast/Desugar.scala b/compiler/src/dotty/tools/dotc/ast/Desugar.scala
@@ -867,7 +867,7 @@ object desugar {
       val nu = vparamss.foldLeft(makeNew(classTypeRef)) { (nu, vparams) =>
         val app = Apply(nu, vparams.map(refOfDef))
         vparams match {
-          case vparam :: _ if vparam.mods.is(Given) || vparam.name.is(ContextBoundParamName) =>
+          case vparam :: _ if vparam.mods.isOneOf(GivenOrImplicit) || vparam.name.is(ContextBoundParamName) =>
             app.setApplyKind(ApplyKind.Using)
           case _ => app
         }

Original file line number	Diff line number	Diff line change
`@@ -867,7 +867,7 @@ object desugar {`
`867`	`867`	`val nu = vparamss.foldLeft(makeNew(classTypeRef)) { (nu, vparams) =>`
`868`	`868`	`val app = Apply(nu, vparams.map(refOfDef))`
`869`	`869`	`vparams match {`
`870`		`- case vparam :: _ if vparam.mods.is(Given) \|\| vparam.name.is(ContextBoundParamName) =>`
	`870`	`+ case vparam :: _ if vparam.mods.isOneOf(GivenOrImplicit) \|\| vparam.name.is(ContextBoundParamName) =>`
`871`	`871`	`app.setApplyKind(ApplyKind.Using)`
`872`	`872`	`case _ => app`
`873`	`873`	`}`