Skip to content

Commit 8c96fe1

Browse files
committed
nail down pt 4
1 parent 6f27396 commit 8c96fe1

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

tests/pos-custom-args/captures/cap-paramlists.scala

+2-2
Original file line numberDiff line numberDiff line change
@@ -32,15 +32,15 @@ trait Foo[cap U,V,W]:
3232
cap D = {caps.cap}
3333
cap E >: {V,W} <: U
3434

35-
/*
35+
3636
def test2 =
3737
val x: Any^ = ???
3838
def foo[cap A, B >: A](x: Int) = 1
3939
foo[cap x, x](0)
4040
//foo[cap A = x, B = {x}](0)
4141
//foo[cap A = {x}](0)
4242

43-
trait Bar:
43+
/*trait Bar:
4444
cap C
4545
4646
def useFoo[cap D](x: Bar { cap C = D} ): Any^{x.C} = ??? */

0 commit comments

Comments
 (0)