File tree Expand file tree Collapse file tree 3 files changed +17
-1
lines changed
compiler/src/dotty/tools/dotc/parsing
tests/neg-custom-args/captures Expand file tree Collapse file tree 3 files changed +17
-1
lines changed Original file line number Diff line number Diff line change @@ -3291,7 +3291,7 @@ object Parsers {
3291
3291
case nme.infix => Mod .Infix ()
3292
3292
case nme.tracked => Mod .Tracked ()
3293
3293
case nme.erased if in.erasedEnabled => Mod .Erased ()
3294
- case nme.update if Feature .ccEnabled => Mod .Update ()
3294
+ case nme.update => Mod .Update ()
3295
3295
}
3296
3296
}
3297
3297
Original file line number Diff line number Diff line change
1
+ import language .experimental .captureChecking
2
+ import caps .*
3
+
4
+ trait Collection [+ T ] extends Mutable :
5
+ update def add (elem : T ): Unit // error
6
+ update def remove (elem : T ): Unit // error
7
+ def get (index : Int ): Option [T ]
8
+
Original file line number Diff line number Diff line change
1
+ import language .experimental .captureChecking
2
+ import caps .*
3
+
4
+ trait Collection [T ] extends Mutable // <- note the forgotten :
5
+ update def add (elem : T ): Unit // error // error
6
+ update def remove (elem : T ): Unit // error // error
7
+ def get (index : Int ): Option [T ] // error // error
8
+
You can’t perform that action at this time.
0 commit comments