Make classes added by cc experimental

Author: odersky

library/src-bootstrapped/scala/Retains.scala

@@ -1,6 +1,7 @@
 package scala
+import annotation.experimental
 
 /** An annotation that indicates capture
  */
-class retains(xs: Any*) extends annotation.StaticAnnotation
+@experimental class retains(xs: Any*) extends annotation.StaticAnnotation
 

library/src-bootstrapped/scala/internal/requiresCapability.scala

@@ -1,8 +1,8 @@
 package scala.annotation.internal
 
-import scala.annotation.StaticAnnotation
+import annotation.{StaticAnnotation, experimental}
 
 /** An annotation to record a required capaility in the type of a throws
  */
-class requiresCapability(capability: Any) extends StaticAnnotation
+@experimental class requiresCapability(capability: Any) extends StaticAnnotation
 

library/src-bootstrapped/scala/retainsByName.scala

@@ -1,6 +1,7 @@
 package scala
+import annotation.experimental
 
 /** An annotation that indicates capture of an enclosing by-name type
  */
-class retainsByName(xs: Any*) extends annotation.StaticAnnotation
+@experimental class retainsByName(xs: Any*) extends annotation.StaticAnnotation
 

library/src/scala/annotation/capability.scala

@@ -1,4 +1,5 @@
 package scala.annotation
+import annotation.experimental
 
 /** Marks an annotated class as a capability.
  *  If the annotation is present and -Ycc is set, any (possibly aliased
@@ -10,4 +11,4 @@ package scala.annotation
  *  THere, the capture set of any instance of `CanThrow` is assumed to be
  *  `{*}`.
  */
-final class capability extends StaticAnnotation
+@experimental final class capability extends StaticAnnotation

library/src/scala/annotation/internal/CaptureChecked.scala

@@ -1,8 +1,9 @@
 package scala.annotation
 package internal
+import annotation.experimental
 
 /** A marker annotation on a toplevel class that indicates
  *  that the class was checked under -Ycc
  */
-class CaptureChecked extends StaticAnnotation
+@experimental class CaptureChecked extends StaticAnnotation
 

tests/run-custom-args/tasty-inspector/stdlibExperimentalDefinitions.scala

@@ -46,6 +46,13 @@ val experimentalDefinitionInLibrary = Set(
   "scala.annotation.newMain.Help$",
   "scala.annotation.newMain.Names",
 
+  //// New feature: capture checking
+  "scala.annotation.capability",
+  "scala.annotation.internal.CaptureChecked",
+  "scala.annotation.internal.requiresCapability",
+  "scala.retains",
+  "scala.retainsByName",
+
   //// New APIs: Mirror
   // Can be stabilized in 3.3.0 or later.
   "scala.deriving.Mirror$.fromProductTyped", // This API is a bit convoluted. We may need some more feedback before we can stabilize it.