Make caps.{Capability, Classifier, Shareable, Control} non-experimental

These are all neccessary for boundary.Label

Author: natsukagami

compiler/src/dotty/tools/dotc/core/Definitions.scala

@@ -2112,8 +2112,8 @@ class Definitions {
    */
   @tu lazy val ccExperimental: Set[Symbol] = Set(
     CapsModule, CapsModule.moduleClass, PureClass,
-    Caps_Capability, // TODO: Remove when Capability is stabilized
-    Caps_Classifier, Caps_SharedCapability, Caps_Control, Caps_ExclusiveCapability, Caps_Mutable, Caps_Read,
+    /* Caps_Classifier, Caps_SharedCapability, Caps_Control, -- already stable */
+    Caps_ExclusiveCapability, Caps_Mutable, Caps_Read,
     RequiresCapabilityAnnot,
     captureRoot, Caps_CapSet, Caps_ContainsTrait, Caps_ContainsModule, Caps_ContainsModule.moduleClass,
     ConsumeAnnot, UseAnnot, ReserveAnnot,

library/src/scala/caps/package.scala

@@ -24,14 +24,12 @@ import annotation.{experimental, compileTimeOnly, retainsCap}
  *
  * Capability has exactly two subtraits: Shared and Exclusive.
  */
-@experimental
 sealed trait Capability extends Any
 
 /** A marker trait for classifier capabilities that can appear in `.only`
  *  qualifiers. Capability classes directly extending `Classifier` are treated
  *  as classifier capbilities
  */
-@experimental
 trait Classifier
 
 /** The universal capture reference. */
@@ -41,7 +39,6 @@ object cap extends Capability
 /** Marker trait for capabilities that can be safely shared in a concurrent context.
  * During separation checking, shared capabilities are not taken into account.
  */
-@experimental
 trait SharedCapability extends Capability, Classifier
 
 @experimental
@@ -58,7 +55,6 @@ type Exclusive = ExclusiveCapability
 /** Base trait for capabilities that capture some continuation or return point in
  *  the stack. Examples are exceptions, labels, Async, CanThrow.
  */
-@experimental
 trait Control extends SharedCapability, Classifier
 
 /** Marker trait for classes with methods that require an exclusive reference. */

tests/run-tasty-inspector/stdlibExperimentalDefinitions.scala

@@ -32,17 +32,13 @@ val experimentalDefinitionInLibrary = Set(
   "scala.annotation.retainsCap",
   "scala.Pure",
   "scala.caps.CapSet",
-  "scala.caps.Capability",
-  "scala.caps.Classifier",
   "scala.caps.Contains",
   "scala.caps.Contains$",
   "scala.caps.Contains$.containsImpl",
   "scala.caps.Exists",
-  "scala.caps.SharedCapability",
   "scala.caps.ExclusiveCapability",
   "scala.caps.Mutable",
   "scala.caps.Read",
-  "scala.caps.Control",
   "scala.caps.consume",
   "scala.caps.internal",
   "scala.caps.internal$",