Skip to content

Commit 4c2bdc9

Browse files
committed
Add test
1 parent ad9d8f9 commit 4c2bdc9

File tree

1 file changed

+19
-0
lines changed

1 file changed

+19
-0
lines changed
Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
class C {
2+
def bad() = println("I've gone bad!")
3+
}
4+
5+
def newC: {*} C = C()
6+
7+
type Observe[T] = (T => Unit) -> Unit
8+
def unsafe(cap: {*} C) = cap.bad()
9+
10+
def box[T](v: T) : Observe[T] = {
11+
(fn: T => Unit) => fn(v)
12+
}
13+
14+
def main() : Int = {
15+
val boxed : Observe[{*} C] = box(newC)
16+
boxed(unsafe)
17+
18+
0
19+
}

0 commit comments

Comments
 (0)