Add capture checking to compiletime.Ops

Author: natsukagami

TODO.md

@@ -50,14 +50,14 @@
 - [ ] library/src/scala/annotation/unchecked/uncheckedCaptures.scala
 - [ ] library/src/scala/annotation/unroll.scala
 - [x] library/src/scala/caps/package.scala
-- [ ] library/src/scala/compiletime/ops/any.scala
-- [ ] library/src/scala/compiletime/ops/boolean.scala
-- [ ] library/src/scala/compiletime/ops/double.scala
-- [ ] library/src/scala/compiletime/ops/float.scala
-- [ ] library/src/scala/compiletime/ops/int.scala
-- [ ] library/src/scala/compiletime/ops/long.scala
-- [ ] library/src/scala/compiletime/ops/string.scala
-- [ ] library/src/scala/compiletime/package.scala
+- [x] library/src/scala/compiletime/ops/any.scala
+- [x] library/src/scala/compiletime/ops/boolean.scala
+- [x] library/src/scala/compiletime/ops/double.scala
+- [x] library/src/scala/compiletime/ops/float.scala
+- [x] library/src/scala/compiletime/ops/int.scala
+- [x] library/src/scala/compiletime/ops/long.scala
+- [x] library/src/scala/compiletime/ops/string.scala
+- [x] library/src/scala/compiletime/package.scala
 - [x] library/src/scala/compiletime/testing/Error.scala
 - [x] library/src/scala/compiletime/testing/ErrorKind.scala
 - [x] library/src/scala/compiletime/testing/package.scala

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

@@ -1,6 +1,8 @@
 package scala.compiletime
 package ops
 
+import language.experimental.captureChecking
+
 object any:
   /** Equality comparison of two singleton types.
    * ```scala

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

@@ -1,6 +1,8 @@
 package scala.compiletime
 package ops
 
+import language.experimental.captureChecking
+
 object boolean:
 
   /** Negation of a `Boolean` singleton type.

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

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

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

@@ -1,6 +1,8 @@
 package scala.compiletime
 package ops
 
+import language.experimental.captureChecking
+
 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 language.experimental.captureChecking
+
 object int:
   /** 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/long.scala

@@ -1,6 +1,8 @@
 package scala.compiletime
 package ops
 
+import language.experimental.captureChecking
+
 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 language.experimental.captureChecking
+
 object string:
   /** Concatenation of two `String` singleton types.
    *  ```scala

library/src/scala/compiletime/package.scala

@@ -1,6 +1,8 @@
 package scala
 package compiletime
 
+import language.experimental.captureChecking
+
 import annotation.{compileTimeOnly, experimental}
 
 /** Use this method when you have a type, do not have a value for it but want to