New test cases

Author: odersky

tests/neg-custom-args/captures/fresh-counter.scala

@@ -10,14 +10,30 @@ class Counter:
   private val count: Ref^ = Ref()
   val incr = () =>
     count.put(count.get + 1)
-  val decr = () =>
+  val decr: () ->{this} Unit = () =>
     count.put(count.get - 1)
 
 def par(p1: () => Unit, p2: () => Unit) = ()
+def seq(p1: () => Unit, p2: () ->{cap, p1} Unit) = ()
+def parCurried(p1: () => Unit) = (p2: () => Unit) => ()
 
 def test() =
   val c = Counter()
   val i = c.incr
   val d = c.decr
   par(i, d) // error: separation failure
+  seq(i, d)
+  parCurried(i)(d) // OK, but should be error
+  val p: Proc = ???
+  parCurried(p)(p) // OK, but should be error
+
+type Proc = () => Unit
+
+class Pair(val a: Proc, val b: Proc)
+
+def mkCounter(): Pair^ =
+  val count = Ref()
+  Pair(
+    () => count.put(count.get + 1), // error: separation failure
+    () => count.put(count.get - 1))