Remove widen

vincenzobaz · MaximeKjaer · commit e3ce7c7ffa54 · 2021-05-05T15:59:04.000+02:00
scala/scala3#11569
diff --git a/scio-macros/src/main/scala-3/com/spotify/scio/DerivationUtils.scala b/scio-macros/src/main/scala-3/com/spotify/scio/DerivationUtils.scala
@@ -27,12 +27,12 @@ object DerivationUtils {
       case _ => Nil
     }
 
-  inline given summonAllF[F[_], T <: Tuple]: Widen[T] = {
+  inline given summonAllF[F[_], T <: Tuple]: T = {
     val res =
       inline erasedValue[T] match {
         case _: EmptyTuple => EmptyTuple
         case _: (t *: ts) => summonInline[F[t]] *: summonAllF[F, ts]
       }
-    res.asInstanceOf[Widen[T]]
+    res.asInstanceOf[T]
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -27,12 +27,12 @@ object DerivationUtils {`
`27`	`27`	`case _ => Nil`
`28`	`28`	`}`
`29`	`29`
`30`		`- inline given summonAllF[F[_], T <: Tuple]: Widen[T] = {`
	`30`	`+ inline given summonAllF[F[_], T <: Tuple]: T = {`
`31`	`31`	`val res =`
`32`	`32`	`inline erasedValue[T] match {`
`33`	`33`	`case _: EmptyTuple => EmptyTuple`
`34`	`34`	`case _: (t : ts) => summonInline[F[t]] : summonAllF[F, ts]`
`35`	`35`	`}`
`36`		`- res.asInstanceOf[Widen[T]]`
	`36`	`+ res.asInstanceOf[T]`
`37`	`37`	`}`
`38`	`38`	`}`