File tree Expand file tree Collapse file tree 3 files changed +4
-4
lines changed
disabled/neg-custom-args/captures Expand file tree Collapse file tree 3 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 11// No longer valid
22class C
3- type Cap = C @ retains(caps.* )
4- type Top = Any @ retains(caps.* )
3+ type Cap = C @ retains(caps.cap )
4+ type Top = Any @ retains(caps.cap )
55
66type T = (x : Cap ) => List [String @ retains(x)] => Unit // error
77val x : (x : Cap ) => Array [String @ retains(x)] = ??? // error
Original file line number Diff line number Diff line change @@ -5,7 +5,7 @@ import annotation.ability
55@ ability erased val canThrow : * = ???
66
77class CanThrow [E <: Exception ] extends Retains [canThrow.type ]
8- type Top = Any @ retains(caps.* )
8+ type Top = Any @ retains(caps.cap )
99
1010infix type throws [R , E <: Exception ] = (erased CanThrow [E ]) ?=> R
1111
Original file line number Diff line number Diff line change @@ -3,7 +3,7 @@ import annotation.retains
33
44val id : Int -> Int = (x : Int ) => x
55val foo : Int => Int = id
6- val bar : (Int -> Int ) @ retains(caps.* ) = foo
6+ val bar : (Int -> Int ) @ retains(caps.cap ) = foo
77
88
99
You can’t perform that action at this time.
0 commit comments