Skip to content

Commit 03239fe

Browse files
authored
Use EmptyTuple instead of Unit
1 parent 89f42f4 commit 03239fe

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

docs/docs/reference/contextual/derivation.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -200,7 +200,7 @@ implementation of `summonAll` is `inline` and uses Dotty's `summonInline` constr
200200
```scala
201201

202202
inline def summonAll[T <: Tuple]: List[Eq[_]] = inline erasedValue[T] match {
203-
case _: Unit => Nil
203+
case _: EmptyTuple => Nil
204204
case _: (t *: ts) => summonInline[Eq[t]] :: summonAll[ts]
205205
}
206206
```
@@ -244,7 +244,7 @@ import scala.deriving._
244244
import scala.compiletime.{erasedValue, summonInline}
245245

246246
inline def summonAll[T <: Tuple]: List[Eq[_]] = inline erasedValue[T] match {
247-
case _: Unit => Nil
247+
case _: EmptyTuple => Nil
248248
case _: (t *: ts) => summonInline[Eq[t]] :: summonAll[ts]
249249
}
250250

0 commit comments

Comments
 (0)