Skip to content

Commit 632efd8

Browse files
committed
New test
1 parent c1bef1c commit 632efd8

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
class C
2+
type Cap = C retains *
3+
4+
def test1() =
5+
val y = ""
6+
def x: {y} Object = y
7+
8+
def test2() =
9+
val x: Cap = C()
10+
val y: ({x} () => Unit) = () => { x; () } // TODO: drop type ascription
11+
def z: ({y} () => Unit) = y
12+
z: ({y} () => Unit)

0 commit comments

Comments
 (0)