Merge pull request #6244 from milessabin/topic/i6241

Reimplement valueOf as an implicit match

Author: odersky

library/src-bootstrapped/dotty/DottyPredef.scala

@@ -32,7 +32,9 @@ object DottyPredef {
    * }}}
    * @group utilities
    */
-  @forceInline def valueOf[T](implicit vt: ValueOf[T]): T = vt.value
+  inline def valueOf[T]: T = implicit match {
+    case ev: ValueOf[T] => ev.value
+  }
 
   inline def the[T](implicit x: T): x.type = x
 }

tests/pos/i6241.scala

@@ -0,0 +1,5 @@
+object Test {
+  inline def v[T] = valueOf[T]
+
+  v["foo"]
+}