chore: Revert bad merge change

tgodzik · tgodzik · commit 3b5448238345 · 2025-07-24T14:50:45.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -2683,7 +2683,7 @@ object Types extends TypeUtils {
             if (tparams.head.eq(tparam))
               return args.head match {
                 case _: TypeBounds if !widenAbstract => TypeRef(pre, tparam)
-                case arg => arg
+                case arg => arg.boxedUnlessFun(tycon)
               }
             tparams = tparams.tail
             args = args.tail

Original file line number	Diff line number	Diff line change
`@@ -2683,7 +2683,7 @@ object Types extends TypeUtils {`
`2683`	`2683`	`if (tparams.head.eq(tparam))`
`2684`	`2684`	`return args.head match {`
`2685`	`2685`	`case _: TypeBounds if !widenAbstract => TypeRef(pre, tparam)`
`2686`		`- case arg => arg`
	`2686`	`+ case arg => arg.boxedUnlessFun(tycon)`
`2687`	`2687`	`}`
`2688`	`2688`	`tparams = tparams.tail`
`2689`	`2689`	`args = args.tail`