Skip to content

Commit 7e0bba7

Browse files
committed
Update checkfiles
1 parent 41421a4 commit 7e0bba7

File tree

2 files changed

+13
-0
lines changed

2 files changed

+13
-0
lines changed
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
-- Error: tests/neg-custom-args/captures/i24309-region-orig.scala:17:36 ------------------------------------------------
2+
17 | val x = r1.subregion[Ref^{r1.R}]: r2 => // error, limitation
3+
| ^
4+
| Local reach capability r1.R leaks into capture scope of enclosing function.
5+
| You could try to abstract the capabilities referred to by r1.R in a capset variable.
6+
18 | var a: Ref^{r1.R} = r1.alloc(0)
7+
19 | var b: Ref^{r2.R} = r2.alloc(0)
8+
20 | val c: Ref^{r1.R} = b
9+
21 | a
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
-- Error: tests/neg-custom-args/captures/i24309a.scala:4:34 ------------------------------------------------------------
2+
4 |def runOps2[C^](): Unit = runOps[{C}](???) // error
3+
| ^
4+
| Capture set parameter C leaks into capture scope of method runOps2.

0 commit comments

Comments
 (0)