File tree Expand file tree Collapse file tree 2 files changed +10
-1
lines changed
library/src/scala/annotation Expand file tree Collapse file tree 2 files changed +10
-1
lines changed Original file line number Diff line number Diff line change 11package scala .annotation
22
3- final class nullTrackable extends StaticAnnotation
3+ /** An annotation that can be used to mark a mutable field as trackable for nullability.
4+ * With explicit nulls, a normal mutable field can be tracked for nullability by flow typing,
5+ * since it can be updated to a null value at the same time.
6+ * This annotation will force the compiler to track the field for nullability, as long as the
7+ * prefix is a stable path.
8+ * See `tests/explicit-nulls/pos/force-track-var-fields.scala` for an example.
9+ */
10+ final class nullTrackable extends StaticAnnotation
Original file line number Diff line number Diff line change @@ -1141,6 +1141,7 @@ object Build {
11411141 file(s " ${baseDirectory.value}/src/scala/annotation/init.scala " ),
11421142 file(s " ${baseDirectory.value}/src/scala/annotation/unroll.scala " ),
11431143 file(s " ${baseDirectory.value}/src/scala/annotation/targetName.scala " ),
1144+ file(s " ${baseDirectory.value}/src/scala/annotation/nullTrackable.scala " ),
11441145 file(s " ${baseDirectory.value}/src/scala/deriving/Mirror.scala " ),
11451146 file(s " ${baseDirectory.value}/src/scala/compiletime/package.scala " ),
11461147 file(s " ${baseDirectory.value}/src/scala/quoted/Type.scala " ),
@@ -1278,6 +1279,7 @@ object Build {
12781279 file(s " ${baseDirectory.value}/src/scala/annotation/init.scala " ),
12791280 file(s " ${baseDirectory.value}/src/scala/annotation/unroll.scala " ),
12801281 file(s " ${baseDirectory.value}/src/scala/annotation/targetName.scala " ),
1282+ file(s " ${baseDirectory.value}/src/scala/annotation/nullTrackable.scala " ),
12811283 file(s " ${baseDirectory.value}/src/scala/deriving/Mirror.scala " ),
12821284 file(s " ${baseDirectory.value}/src/scala/compiletime/package.scala " ),
12831285 file(s " ${baseDirectory.value}/src/scala/quoted/Type.scala " ),
You can’t perform that action at this time.
0 commit comments