Rename annotation source file

odersky · odersky · commit 2dd9b70fbc88 · 2023-10-30T15:01:58.000+01:00
diff --git a/library/src/scala/annotation/unchecked/uncheckedCapabilityLeaks.scala b/library/src/scala/annotation/unchecked/uncheckedCapabilityLeaks.scala
@@ -1,12 +0,0 @@
-package scala.annotation
-package unchecked
-
-/** An annotation for mutable variables that are allowed to capture
- *  the root capability `cap`. Allowing this is not capture safe since
- *  it can cause leakage of capabilities from local scopes by assigning
- *  values retaining such capabilties to the annotated variable in
- *  an outer scope.
- */
-class uncheckedCaptures extends StaticAnnotation
-
-
diff --git a/library/src/scala/annotation/unchecked/uncheckedCaptures.scala b/library/src/scala/annotation/unchecked/uncheckedCaptures.scala
@@ -0,0 +1,12 @@
+package scala.annotation
+package unchecked
+
+/** An annotation for mutable variables that are allowed to capture
+ *  the root capability `cap`. Allowing this is not capture safe since
+ *  it can cause leakage of capabilities from local scopes by assigning
+ *  values retaining such capabilties to the annotated variable in
+ *  an outer scope.
+ */
+class uncheckedCaptures extends StaticAnnotation
+
+
