Skip to content

Commit

Permalink
Remove widen
Browse files Browse the repository at this point in the history
  • Loading branch information
vincenzobaz authored and MaximeKjaer committed Apr 19, 2021
1 parent abe2a51 commit 2e4289f
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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]
}
}

0 comments on commit 2e4289f

Please sign in to comment.