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 @@ -1191,6 +1191,7 @@ object Build {
11911191 file(s " ${baseDirectory.value}/src/scala/annotation/init.scala " ),
11921192 file(s " ${baseDirectory.value}/src/scala/annotation/unroll.scala " ),
11931193 file(s " ${baseDirectory.value}/src/scala/annotation/targetName.scala " ),
1194+ file(s " ${baseDirectory.value}/src/scala/annotation/nullTrackable.scala " ),
11941195 file(s " ${baseDirectory.value}/src/scala/deriving/Mirror.scala " ),
11951196 file(s " ${baseDirectory.value}/src/scala/compiletime/package.scala " ),
11961197 file(s " ${baseDirectory.value}/src/scala/quoted/Type.scala " ),
@@ -1326,6 +1327,7 @@ object Build {
13261327 file(s " ${baseDirectory.value}/src/scala/annotation/init.scala " ),
13271328 file(s " ${baseDirectory.value}/src/scala/annotation/unroll.scala " ),
13281329 file(s " ${baseDirectory.value}/src/scala/annotation/targetName.scala " ),
1330+ file(s " ${baseDirectory.value}/src/scala/annotation/nullTrackable.scala " ),
13291331 file(s " ${baseDirectory.value}/src/scala/deriving/Mirror.scala " ),
13301332 file(s " ${baseDirectory.value}/src/scala/compiletime/package.scala " ),
13311333 file(s " ${baseDirectory.value}/src/scala/quoted/Type.scala " ),
You can’t perform that action at this time.
0 commit comments