Polishings

Author: odersky

docs/docs/reference/derivation.md

@@ -17,8 +17,6 @@ implicit def derived$Ordering [T: Ordering]: Ordering[Tree[T]] = Ordering.derive
 implicit def derived$Pickling [T: Pickling]: Pickling[Tree[T]] = Pickling.derived
 ```
 
-**Note**: This page uses the new syntax proposed for implicits that is explored in #5448. This is not yet an endorsement of that syntax, but rather a way to experiment with it.
-
 ### Deriving Types
 
 Besides for `enums`, typeclasses can also be derived for other sets of classes and objects that form an algebraic data type. These are:
@@ -324,7 +322,7 @@ calling the `error` method defined in `scala.compiletime`.
 **Example:** Here is a slightly polished and compacted version of the code that's generated by inline expansion for the derived `Eq` instance of class `Tree`.
 
 ```scala
-implicit def Eq_Tree_impl[T](implicit elemEq: Eq[T]): Eq[T] = new Eq[Tree[T]] {
+implicit def derived$Eq[T](implicit elemEq: Eq[T]): Eq[T] = new Eq[Tree[T]] {
   def eql(x: Tree[T], y: Tree[T]): Boolean = {
     val ev = implOf[Generic[Tree[T]]]
     val mx = ev.reflect(x)
@@ -350,7 +348,7 @@ One important difference between this approach and Scala-2 typeclass derivation
 Sometimes one would like to derive a typeclass instance for an ADT after the ADT is defined, without being able to change the code of the ADT itself.
 To do this, simply define an instance with the `derived` method of the typeclass as right hand side. E.g, to implement `Ordering` for `Option`, define:
 ```scala
-implicit def derived$Ordering[T: Ordering]: Ordering[Option[T]] = Ordering.derived
+implicit def myOptionOrdering[T: Ordering]: Ordering[Option[T]] = Ordering.derived
 ```
 Usually, the `Ordering.derived` clause has an implicit parameter of type
 `Generic[Option[T]]`. Since the `Option` trait has a `derives` clause,