Extend abstract givens example to show usage of scala.compiletime.deferred

Author: WojciechMazur

_posts/2024-12-05-release-notes-3.6.2.md

@@ -80,18 +80,24 @@ This mechanism allows defining an abstract given instance that needs to be provi
 
 ```scala
 trait Order[T]
+trait Show[T]
 
 trait Collection:
   // abstract member context-bound
   type Element: Order
-
-class List[T: Order] extends Collection:
+  // explicit abstract given
+  given Show[Element] = compiletime.deferred
+  
+class List[T: {Order, Show}] extends Collection:
   type Element = T
-  // given Order[Element] = ev$1 // generated by compiler, uses class context bound
-
-class Set[T] extends Collection:
+  // generated by compiler, uses class context bound
+  // override final given Order[Element] = evidence$1
+  // override final given Show[Element] = evidence$2 
+ 
+class Set[T: Show as show] extends Collection:
   type Element = T
   override given Order[Element] = ??? // custom implementation provided by the user
+  // override final given Show[Element] = this.show // generated by compiler
 ```
 
 See the updated [Contextual Abstractions](https://scala-lang.org/api/3.6.2/docs/docs/reference/contextual/givens.html) chapter of the Scala 3 reference guide to learn more about these changes.