More conversions in library

Author: odersky

library/src/scala/Conversion.scala

@@ -19,5 +19,5 @@ package scala
 *  from two to one.
 */
 @java.lang.FunctionalInterface
-abstract class Conversion[-T, +U] extends Function1[T, U]:
+abstract class Conversion[-T, +U] extends Function1[T, U] with
   def apply(x: T): U

library/src/scala/IArray.scala

@@ -4,7 +4,7 @@ import reflect.ClassTag
 /** An immutable array. An `IArray[T]` has the same representation as an `Array[T]`,
  *  but it cannot be updated. Unlike regular arrays, immutable arrays are covariant.
  */
-object opaques:
+object opaques with
   opaque type IArray[+T] = Array[_ <: T]
 
   private[scala] type Sub[A] >: Array[A] <: IArray[A]

library/src/scala/Selectable.scala

@@ -23,7 +23,7 @@ package scala
  */
 trait Selectable extends Any
 
-object Selectable:
+object Selectable with
   /* Scala 2 compat + allowing for cross-compilation:
    * enable scala.reflect.Selectable.reflectiveSelectable when there is an
    * import scala.language.reflectiveCalls in scope.

library/src/scala/compiletime/ops/any.scala

@@ -1,7 +1,7 @@
 package scala.compiletime
 package ops
 
-object any:
+object any with
   /** Equality comparison of two singleton types.
    * ```scala
    * val eq1: 1 == 1 = true

library/src/scala/compiletime/ops/boolean.scala

@@ -1,7 +1,7 @@
 package scala.compiletime
 package ops
 
-object boolean:
+object boolean with
 
   /** Negation of a `Boolean` singleton type.
    *  ```scala

library/src/scala/compiletime/ops/int.scala

@@ -1,7 +1,7 @@
 package scala.compiletime
 package ops
 
-object int:
+object int with
   /** Addition of two `Int` singleton types.
    *  ```scala
    *  val sum: 2 + 2 = 4

library/src/scala/compiletime/ops/string.scala

@@ -1,7 +1,7 @@
 package scala.compiletime
 package ops
 
-object string:
+object string with
   /** Concatenation of two `String` singleton types.
    *  ```scala
    *  val hello: "hello " + "world" = "hello world"

library/src/scala/compiletime/testing/ErrorKind.scala

@@ -3,6 +3,6 @@ package scala.compiletime.testing
 /** An error can be either a parse-time or a typecheck-time */
 sealed trait ErrorKind // This should be an enum but currently, Dotty lib fails to
                        // compile with an obscure error.
-object ErrorKind:
+object ErrorKind with
   case object Parser extends ErrorKind
   case object Typer extends ErrorKind

library/src/scala/quoted/Exprs.scala

@@ -1,6 +1,6 @@
 package scala.quoted
 
-object Exprs:
+object Exprs with
 
   /** Matches literal sequence of literal constant value expressions and return a sequence of values.
    *

library/src/scala/quoted/Quotes.scala

@@ -1957,7 +1957,7 @@ trait Quotes { self: runtime.QuoteUnpickler & runtime.QuoteMatching =>
      *
      *  `ParamClause` encodes the following enumeration
      *  ```scala
-     *  enum ParamClause:
+     *  enum ParamClause with
      *    case TypeParamClause(params: List[TypeDef])
      *    case TermParamClause(params: List[ValDef])
      *  ```

library/src/scala/quoted/Type.scala

@@ -3,13 +3,13 @@ package scala.quoted
 import scala.annotation.compileTimeOnly
 
 /** Type (or type constructor) `T` needed contextually when using `T` in a quoted expression `'{... T ...}` */
-abstract class Type[T <: AnyKind] private[scala]:
+abstract class Type[T <: AnyKind] private[scala] with
   /** The type represented `Type` */
   type Underlying = T
 end Type
 
 /** Methods to interact with the current `Type[T]` in scope */
-object Type:
+object Type with
 
   /** Show a source code like representation of this type without syntax highlight */
   def show[T <: AnyKind](using Type[T])(using Quotes): String =

library/src/scala/quoted/runtime/Expr.scala

@@ -4,7 +4,7 @@ package runtime
 import scala.annotation.{Annotation, compileTimeOnly}
 
 @compileTimeOnly("Illegal reference to `scala.quoted.runtime.Expr`")
-object Expr:
+object Expr with
 
   /** A term quote is desugared by the compiler into a call to this method
    *

library/src/scala/reflect/Selectable.scala

@@ -39,7 +39,7 @@ trait Selectable extends scala.Selectable with
     ensureAccessible(mth)
     mth.invoke(selectedValue, args.asInstanceOf[Seq[AnyRef]]: _*)
 
-object Selectable:
+object Selectable with
 
   /** An implicit conversion that turns a value into a Selectable
    *  such that structural selections are performed on that value.

library/src/scala/reflect/TypeTest.scala

@@ -22,7 +22,7 @@ trait TypeTest[-S, T] extends Serializable with
    */
   def unapply(x: S): Option[x.type & T]
 
-object TypeTest:
+object TypeTest with
 
   /** Trivial type test that always succeeds */
   def identity[T]: TypeTest[T, T] = Some(_)

library/src/scala/runtime/Scala3RunTime.scala

@@ -1,6 +1,6 @@
 package scala.runtime
 
-object Scala3RunTime:
+object Scala3RunTime with
 
   // Called by inline def assert's. Extracted to minimize the bytecode size at call site.
 

library/src/scala/runtime/stdLibPatches/Predef.scala

@@ -1,6 +1,6 @@
 package scala.runtime.stdLibPatches
 
-object Predef:
+object Predef with
   import compiletime.summonFrom
 
   inline def assert(inline assertion: Boolean, inline message: => Any): Unit =

library/src/scala/runtime/stdLibPatches/language.scala

@@ -2,7 +2,7 @@ package scala.runtime.stdLibPatches
 
 /** Scala 3 additions and replacements to the `scala.language` object.
  */
-object language:
+object language with
 
   /** The experimental object contains features that have been recently added but have not
    *  been thoroughly tested in production yet.
@@ -16,7 +16,7 @@ object language:
    *
    *  @group experimental
    */
-  object experimental:
+  object experimental with
 
     /* Experimental support for richer dependent types (disabled for now)
      * One can still run the compiler with support for parsing singleton applications