Add deprecation, remove experimental annotations

Author: OlivierBlanvillain

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

@@ -1,8 +1,6 @@
 package scala.compiletime
 package ops
 
-import annotation.experimental
-
 object any:
   /** Equality comparison of two singleton types.
    * ```scala
@@ -41,7 +39,6 @@ object any:
    * ```
    * @syntax markdown
    */
-  @experimental
   type IsConst[X] <: Boolean
 
   /** String conversion of a constant singleton type.
@@ -51,5 +48,4 @@ object any:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type ToString[+X] <: String

library/src/scala/compiletime/ops/double.scala

@@ -1,9 +1,6 @@
 package scala.compiletime
 package ops
 
-import scala.annotation.experimental
-
-@experimental
 object double:
   /** Addition of two `Double` singleton types.
    *  ```scala

library/src/scala/compiletime/ops/float.scala

@@ -1,9 +1,6 @@
 package scala.compiletime
 package ops
 
-import scala.annotation.experimental
-
-@experimental
 object float:
   /** Addition of two `Float` singleton types.
    *  ```scala

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

@@ -1,8 +1,6 @@
 package scala.compiletime
 package ops
 
-import annotation.experimental
-
 object int:
   /** Successor of a natural number where zero is the type 0 and successors are reduced as if the definition was:
    *
@@ -192,7 +190,6 @@ object int:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type ToLong[+X <: Int] <: Long
 
   /** Float conversion of an `Int` singleton type.
@@ -201,7 +198,6 @@ object int:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type ToFloat[+X <: Int] <: Float
 
   /** Double conversion of an `Int` singleton type.
@@ -210,7 +206,6 @@ object int:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type ToDouble[+X <: Int] <: Double
 
   /** Number of zero bits preceding the highest-order ("leftmost")
@@ -225,5 +220,4 @@ object int:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type NumberOfLeadingZeros[+X <: Int] <: Int

library/src/scala/compiletime/ops/long.scala

@@ -1,9 +1,6 @@
 package scala.compiletime
 package ops
 
-import scala.annotation.experimental
-
-@experimental
 object long:
   /** Successor of a natural number where zero is the type 0 and successors are reduced as if the definition was:
    *

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

@@ -1,8 +1,6 @@
 package scala.compiletime
 package ops
 
-import scala.annotation.experimental
-
 object string:
   /** Concatenation of two `String` singleton types.
    *  ```scala
@@ -18,7 +16,6 @@ object string:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type Length[+X <: String] <: Int
 
   /** Substring of a `String` singleton type, with a singleton type
@@ -31,7 +28,6 @@ object string:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type Substring[+S <: String, +IBeg <: Int, +IEnd <: Int] <: String
 
   /** Tests if this `String` singleton type matches the given
@@ -41,7 +37,6 @@ object string:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type Matches[+S <: String, +Regex <: String] <: Boolean
 
   /** Returns the Char type at the specified index.
@@ -52,5 +47,4 @@ object string:
    *  ```
    *  @syntax markdown
    */
-  @experimental
   type CharAt[+S <: String, +Idx <: Int] <: Char