Update derivation.md (scala#19559)

Added missing import
dotty-staging · Feb 1, 2024 · 1fefb8e · 1fefb8e
2 parents 22a9f59 + 1627f05
commit 1fefb8e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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