Merge pull request #9272 from dotty-staging/fix-derivation-doc

Fix typo in typeclass derivation

Author: odersky

docs/docs/reference/contextual/derivation.md

@@ -253,7 +253,7 @@ trait Eq[T] {
 }
 
 object Eq {
-  given Eq[Int] as {
+  given Eq[Int] {
     def eqv(x: Int, y: Int) = x == y
   }