Drop duplicate methods in DottyPredef

Drop some methods in DottyPredef that are also in Predef

Author: odersky

library/src/dotty/DottyPredef.scala

@@ -16,7 +16,7 @@ object DottyPredef {
   def assertFail(): Nothing = throw new java.lang.AssertionError("assertion failed")
   def assertFail(message: => Any): Nothing = throw new java.lang.AssertionError("assertion failed: " + message)
 
-  inline final def implicitly[T](implicit ev: T): T = ev
+  //inline final def implicitly[T](implicit ev: T): T = ev
 
   /** Used to mark code blocks as being expressions, instead of being taken as part of anonymous classes and the like.
    *  This is just a different name for [[identity]].
@@ -47,7 +47,7 @@ object DottyPredef {
    *           }}}
    *  @group utilities
    */
-  inline def locally[T](inline body: T): T = body
+  //inline def locally[T](inline body: T): T = body
 
   /**
    * Retrieve the single value of a type with a unique inhabitant.
@@ -62,9 +62,9 @@ object DottyPredef {
    * }}}
    * @group utilities
    */
-  inline def valueOf[T]: T = summonFrom {
-    case ev: ValueOf[T] => ev.value
-  }
+  //inline def valueOf[T]: T = summonFrom {
+  //  case ev: ValueOf[T] => ev.value
+  //}
 
   /** Summon a given value of type `T`. Usually, the argument is not passed explicitly.
    *