We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 938cf52 commit 9acf39dCopy full SHA for 9acf39d
compiler/src/dotty/tools/dotc/typer/Implicits.scala
@@ -182,9 +182,9 @@ object Implicits {
182
tp.derivedLambdaType(paramInfos = tp.paramInfos.mapConserve(widenSingleton))
183
case _ =>
184
tp.baseType(defn.ConversionClass) match
185
- case app @ AppliedType(tycon, from :: to :: Nil) =>
+ case app @ AppliedType(tycon, from :: rest) =>
186
val wideFrom = from.widenSingleton
187
- if wideFrom ne from then app.derivedAppliedType(tycon, wideFrom :: to :: Nil)
+ if wideFrom ne from then app.derivedAppliedType(tycon, wideFrom :: rest)
188
else tp
189
case _ => tp
190
0 commit comments