|
2 | 2 | 4 | boundary[AnyRef^]: |
3 | 3 | 5 | l1 ?=> // error // error |
4 | 4 | | ^ |
5 | | - |Found: scala.util.boundary.Label[Object^?]^{cap.rd} |
| 5 | + |Found: scala.util.boundary.Label[Object^'s1]^{cap.rd} |
6 | 6 | |Required: scala.util.boundary.Label[Object^]^² |
7 | 7 | | |
8 | | - |where: ^ refers to the universal root capability |
9 | | - | ^² refers to a fresh root capability classified as Control in the type of value local |
10 | | - | cap is a fresh root capability classified as Control created in value local when constructing Capability instance scala.util.boundary.Label[Object^?] |
| 8 | + |Note that capability cap² cannot be included in outer capture set 's1. |
11 | 9 | | |
12 | | - |Note that capability cap |
13 | | - |cannot be included in outer capture set ?. |
| 10 | + |where: ^ refers to the universal root capability |
| 11 | + | ^² refers to a fresh root capability classified as Control in the type of value local |
| 12 | + | cap is a fresh root capability classified as Control created in value local when constructing Capability instance scala.util.boundary.Label[Object^'s1] |
| 13 | + | cap² is the universal root capability |
14 | 14 | 6 | boundary[Unit]: l2 ?=> |
15 | 15 | 7 | boundary.break(l2)(using l1) |
16 | 16 | 8 | ??? |
|
30 | 30 | | Found: scala.util.boundary.Break[AnyRef^] @unchecked |
31 | 31 | | Required: scala.util.boundary.Break[Object^²] @unchecked |
32 | 32 | | |
33 | | - | where: ^ refers to the universal root capability |
34 | | - | ^² refers to a fresh root capability created in package <empty> |
| 33 | + | Note that capability cap is not included in capture set {cap²}. |
35 | 34 | | |
36 | | - | Note that capability cap is not included in capture set {cap}. |
| 35 | + | where: ^ refers to the universal root capability |
| 36 | + | ^² refers to a fresh root capability created in package <empty> |
| 37 | + | cap is a fresh root capability created in package <empty> |
| 38 | + | cap² is the universal root capability |
37 | 39 | 6 | boundary[Unit]: l2 ?=> |
38 | 40 | 7 | boundary.break(l2)(using l1) |
39 | 41 | 8 | ??? |
|
0 commit comments