Rename into to convert

Author: odersky

library/src/scala/Conversion.scala

@@ -29,4 +29,4 @@ object Conversion:
 
   extension [T](x: T)
     /** `x.into[U]` converts a value `x` of type `T` to type `U` */
-    def into[U](using c: Conversion[T, U]) = c(x)
+    def convert[U](using c: Conversion[T, U]) = c(x)

tests/pos/conversion-into.scala

@@ -0,0 +1,7 @@
+import Conversion.convert
+
+given Conversion[String, Int] = _.length
+given Conversion[Int, String] = _.toString
+
+def f(x: String): Int = x.convert
+def g(x: Int): String = x.convert[String]