Define the with a given clause

Can do it now that we have a full bootstrap.

Author: odersky

library/src-3.x/dotty/DottyPredef.scala

@@ -36,5 +36,5 @@ object DottyPredef {
     case ev: ValueOf[T] => ev.value
   }
 
-  inline def the[T](implicit x: T): x.type = x
+  inline def the[T] given (x: T): x.type = x
 }

tests/pos/the-given.scala

@@ -0,0 +1,8 @@
+object Test {
+
+  class Encoder { def apply(x: Int): Int = x }
+  implied for Encoder
+
+  the[Encoder](2)
+
+}