Rename WithCaptureChecks to CaptureChecked

Author: odersky

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

@@ -1029,7 +1029,7 @@ class Definitions {
   @tu lazy val UncheckedCapturesAnnot: ClassSymbol = requiredClass("scala.annotation.unchecked.uncheckedCaptures")
   @tu lazy val VolatileAnnot: ClassSymbol = requiredClass("scala.volatile")
   @tu lazy val WithPureFunsAnnot: ClassSymbol = requiredClass("scala.annotation.internal.WithPureFuns")
-  @tu lazy val WithCaptureChecksAnnot: ClassSymbol = requiredClass("scala.annotation.internal.WithCaptureChecks")
+  @tu lazy val CaptureCheckedAnnot: ClassSymbol = requiredClass("scala.annotation.internal.CaptureChecked")
   @tu lazy val BeanGetterMetaAnnot: ClassSymbol = requiredClass("scala.annotation.meta.beanGetter")
   @tu lazy val BeanSetterMetaAnnot: ClassSymbol = requiredClass("scala.annotation.meta.beanSetter")
   @tu lazy val FieldMetaAnnot: ClassSymbol = requiredClass("scala.annotation.meta.field")

compiler/src/dotty/tools/dotc/core/tasty/TreeUnpickler.scala

@@ -653,7 +653,7 @@ class TreeUnpickler(reader: TastyReader,
       registerSym(start, sym)
       if (isClass) {
         if sym.owner.is(Package) then
-          if annots.exists(_.hasSymbol(defn.WithCaptureChecksAnnot)) then
+          if annots.exists(_.hasSymbol(defn.CaptureCheckedAnnot)) then
             withCaptureChecks = true
             withPureFuns = true
           else if annots.exists(_.hasSymbol(defn.WithPureFunsAnnot)) then

compiler/src/dotty/tools/dotc/transform/PostTyper.scala

@@ -418,9 +418,9 @@ class PostTyper extends MacroTransform with InfoTransformer { thisPhase =>
                 val reference = ctx.settings.sourceroot.value
                 val relativePath = util.SourceFile.relativePath(ctx.compilationUnit.source, reference)
                 sym.addAnnotation(Annotation.makeSourceFile(relativePath, tree.span))
-              if sym != defn.WithPureFunsAnnot && sym != defn.WithCaptureChecksAnnot then
+              if sym != defn.WithPureFunsAnnot && sym != defn.CaptureCheckedAnnot then
                 if Feature.ccEnabled then
-                  sym.addAnnotation(Annotation(defn.WithCaptureChecksAnnot, tree.span))
+                  sym.addAnnotation(Annotation(defn.CaptureCheckedAnnot, tree.span))
                 else if Feature.pureFunsEnabled then
                   sym.addAnnotation(Annotation(defn.WithPureFunsAnnot, tree.span))
           else

library/src/scala/annotation/internal/WithCaptureChecks.scala renamed to library/src/scala/annotation/internal/CaptureChecked.scala

@@ -4,5 +4,5 @@ package internal
 /** A marker annotation on a toplevel class that indicates
  *  that the class was typed with the captureChecking language import.
  */
-class WithCaptureChecks extends StaticAnnotation
+class CaptureChecked extends StaticAnnotation