spread out more

Author: bracevac

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

@@ -0,0 +1,13 @@
+import language.experimental.captureChecking
+
+trait Ctx[T]
+
+def test =
+  val x: Any^ = ???
+  val y: Any^ = ???
+  object O:
+    val z: Any^ = ???
+  val bar = [cap C, D <: C, E <: {C,x}, F >: {x,y} <: {C,E}] => (x: Int) => 1
+  val baz  = () => [cap C, D <: C, E <: {C,x}, F >: {x,y} <: {C,E} : Ctx] => (x: Int) => 1
+  val baz2 = (i: Int) => [cap C, D <: C, E <: {C,x}, F >: {x,y} <: {C,E} : Ctx] => (x: Int) => 1
+  val baz3 = (i: Int) => [cap C, D <: C, E <: {C,x}] => () => [cap F >: {x,y} <: {C,E} : Ctx] => (x: Int) => 1

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

@@ -0,0 +1,6 @@
+import language.experimental.captureChecking
+
+trait Foo[cap U,V,W]:
+  cap C = caps.cap
+  cap D = {caps.cap}
+  cap E >: {V,W} <: U

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

@@ -0,0 +1,9 @@
+import language.experimental.captureChecking
+import language.experimental.namedTypeArguments
+
+def test2 =
+  val x: Any^ = ???
+  def foo[cap A, B >: A](x: Int) = 1
+  foo[cap x, x](0)
+  foo[cap A = x, B = {x}](0)
+  foo[cap A = {x}](0)