Skip to content

Commit 78c2220

Browse files
committed
Move test to avoid pickling issues
1 parent f66011b commit 78c2220

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
import language.experimental.captureChecking
2+
trait Cap:
3+
def use: Int = 42
4+
5+
def test2(cs: List[Cap^]): Unit =
6+
val t0: Cap^{cap[test2]} = cs.head // error
7+
var t1: Cap^{cap[test2]} = cs.head // error

0 commit comments

Comments
 (0)