Skip to content

Commit 6f27396

Browse files
committed
nail down pt trois
1 parent 283f1be commit 6f27396

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

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

+3-3
Original file line numberDiff line numberDiff line change
@@ -23,16 +23,16 @@ def test =
2323
M >: {x, y, O.z} <: C : Ctx,
2424
N >: x <: x,
2525
O >: O.z <: O.z] = ???
26-
/*val baz = () => [cap C, D <: C, E <: {C,x}, F >: {x,y} <: {C,E} : Ctx] => (x: Int) => 1
26+
/*Pval baz = () => [cap C, D <: C, E <: {C,x}, F >: {x,y} <: {C,E} : Ctx] => (x: Int) => 1
2727
val baz2 = (i: Int) => [cap C, D <: C, E <: {C,x}, F >: {x,y} <: {C,E} : Ctx] => (x: Int) => 1
28-
val baz3 = (i: Int) => [cap C, D <: C, E <: {C,x}] => () => [cap F >: {x,y} <: {C,E} : Ctx] => (x: Int) => 1
29-
28+
val baz3 = (i: Int) => [cap C, D <: C, E <: {C,x}] => () => [cap F >: {x,y} <: {C,E} : Ctx] => (x: Int) => 1*/
3029

3130
trait Foo[cap U,V,W]:
3231
cap C = caps.cap
3332
cap D = {caps.cap}
3433
cap E >: {V,W} <: U
3534

35+
/*
3636
def test2 =
3737
val x: Any^ = ???
3838
def foo[cap A, B >: A](x: Int) = 1

0 commit comments

Comments
 (0)