From 1627f0586de8d95ab938e02a483435f2e9faf279 Mon Sep 17 00:00:00 2001 From: Stephane Bersier Date: Mon, 29 Jan 2024 06:45:44 -0500 Subject: [PATCH] Update derivation.md Added missing import --- docs/_docs/reference/contextual/derivation.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/_docs/reference/contextual/derivation.md b/docs/_docs/reference/contextual/derivation.md index 5157bb57699c..ed0e005c1bd4 100644 --- a/docs/_docs/reference/contextual/derivation.md +++ b/docs/_docs/reference/contextual/derivation.md @@ -396,8 +396,9 @@ Both `eqSum` and `eqProduct` have a by-name parameter `elems`, because the argum Pulling this all together we have the following complete implementation, ```scala +import scala.collection.AbstractIterable +import scala.compiletime.{erasedValue, error, summonInline} import scala.deriving.* -import scala.compiletime.{error, erasedValue, summonInline} inline def summonInstances[T, Elems <: Tuple]: List[Eq[?]] = inline erasedValue[Elems] match