add experimental annotation to added type operations and update MiMa

Update MiMaFilters.scala

Update MiMaFilters.scala

Author: soronpo

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

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

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

@@ -1,6 +1,9 @@
 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,6 +1,9 @@
 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,6 +1,8 @@
 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
    *
@@ -190,6 +192,7 @@ object int:
    *  ```
    *  @syntax markdown
    */
+  @experimental
   type ToLong[X <: Int] <: Long
 
   /** Float conversion of an `Int` singleton type.
@@ -198,6 +201,7 @@ object int:
    *  ```
    *  @syntax markdown
    */
+  @experimental
   type ToFloat[X <: Int] <: Float
 
   /** Double conversion of an `Int` singleton type.
@@ -206,6 +210,7 @@ object int:
    *  ```
    *  @syntax markdown
    */
+  @experimental
   type ToDouble[X <: Int] <: Double
 
   /** Number of zero bits preceding the highest-order ("leftmost")
@@ -220,4 +225,5 @@ object int:
    *  ```
    *  @syntax markdown
    */
+  @experimental
   type NumberOfLeadingZeros[X <: Int] <: Int

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

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

project/MiMaFilters.scala

@@ -9,5 +9,11 @@ object MiMaFilters {
     ProblemFilters.exclude[DirectMissingMethodProblem]("scala.runtime.Tuples.append"),
     ProblemFilters.exclude[ReversedMissingMethodProblem]("scala.quoted.Quotes#reflectModule#TypeReprMethods.substituteTypes"),
     ProblemFilters.exclude[DirectMissingMethodProblem]("scala.quoted.Quotes#reflectModule#TypeReprMethods.substituteTypes"),
+    ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.double"),
+    ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.double$"),
+    ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.float"),
+    ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.float$"),
+    ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.long"),
+    ProblemFilters.exclude[MissingClassProblem]("scala.compiletime.ops.long$"),
   )
 }