File tree 2 files changed +4
-3
lines changed
2 files changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -10,7 +10,7 @@ object Test:
10
10
11
11
def test (c1 : C , c2 : C ) =
12
12
val d : D ^ = D ()
13
- f[Nothing ](d) // error
13
+ // f[Nothing](d) // error: already rule out at typer
14
14
f[CapSet ^ {c1}](d) // error
15
15
val x = f(d)
16
16
val _: D ^ {c1} = x // error
Original file line number Diff line number Diff line change @@ -20,13 +20,14 @@ import caps.unbox
20
20
21
21
def test1 (async1 : Async , @ unbox others : List [Async ]) =
22
22
val src = Source [CapSet ^ {async1, others* }]
23
+ val _: Set [Listener ^ {async1, others* }] = src.allListeners
23
24
val lst1 = listener(async1)
24
25
val lsts = others.map(listener)
25
26
val _: List [Listener ^ {others* }] = lsts
26
27
src.register{lst1}
27
28
src.register(listener(async1))
28
- lsts.foreach(src.register)
29
- others.map(listener).foreach(src.register)
29
+ lsts.foreach(src.register(_) )
30
+ others.map(listener).foreach(src.register(_) )
30
31
val ls = src.allListeners
31
32
val _: Set [Listener ^ {async1, others* }] = ls
32
33
You can’t perform that action at this time.
0 commit comments