bugfix: Fix issues with compilation

tgodzik · tgodzik · commit b003ed005241 · 2025-02-07T19:49:56.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeOps.scala b/compiler/src/dotty/tools/dotc/core/TypeOps.scala
@@ -917,9 +917,7 @@ object TypeOps:
     }
 
     val inferThisMap = new InferPrefixMap
-    val tvars = tp1.EtaExpand(tp1.typeParams) match
-      case eta: TypeLambda => constrained(eta)
-      case _               => Nil
+    val tvars = tp1.typeParams.map { tparam => newTypeVar(tparam.paramInfo.bounds, DepParamName.fresh(tparam.paramName)) }
     val protoTp1 = inferThisMap.apply(tp1).appliedTo(tvars)
 
     if gadtSyms.nonEmpty then

Original file line number	Diff line number	Diff line change
`@@ -917,9 +917,7 @@ object TypeOps:`
`917`	`917`	`}`
`918`	`918`
`919`	`919`	`val inferThisMap = new InferPrefixMap`
`920`		`- val tvars = tp1.EtaExpand(tp1.typeParams) match`
`921`		`- case eta: TypeLambda => constrained(eta)`
`922`		`- case _ => Nil`
	`920`	`+ val tvars = tp1.typeParams.map { tparam => newTypeVar(tparam.paramInfo.bounds, DepParamName.fresh(tparam.paramName)) }`
`923`	`921`	`val protoTp1 = inferThisMap.apply(tp1).appliedTo(tvars)`
`924`	`922`
`925`	`923`	`if gadtSyms.nonEmpty then`