Drop some TODOs in tests, explain others

Author: odersky

tests/neg-custom-args/captures/use-capset.check

@@ -1,12 +1,12 @@
--- [E007] Type Mismatch Error: tests/neg-custom-args/captures/use-capset.scala:9:22 ------------------------------------
-9 |  val _: () -> Unit = h // error: should be ->{io}
-  |                      ^
-  |                      Found:    (h : () ->{io} Unit)
-  |                      Required: () -> Unit
-  |
-  | longer explanation available when compiling with `-explain`
--- [E007] Type Mismatch Error: tests/neg-custom-args/captures/use-capset.scala:11:50 -----------------------------------
-11 |  val _: () -> List[Object^{io}] -> Object^{io} = h2 // error, should be ->{io}
+-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/use-capset.scala:11:22 -----------------------------------
+11 |  val _: () -> Unit = h // error: should be ->{io}
+   |                      ^
+   |                      Found:    (h : () ->{io} Unit)
+   |                      Required: () -> Unit
+   |
+   | longer explanation available when compiling with `-explain`
+-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/use-capset.scala:13:50 -----------------------------------
+13 |  val _: () -> List[Object^{io}] -> Object^{io} = h2 // error, should be ->{io}
    |                                                  ^^
    |                                                Found:    (h2 : () ->{} List[Object^{io}]^{} ->{io} Object^{io})
    |                                                Required: () -> List[Object^{io}] -> Object^{io}

tests/neg-custom-args/captures/use-capset.scala

@@ -3,6 +3,8 @@ import caps.{use, CapSet}
 def f[C^](xs: List[Object^{C}]): Unit = ???
 
 private def g[C^] = (xs: List[Object^{C}]) => xs.head // error TODO: allow this
+  // This fails currently since `C^` is not classified as used. To classify it we'd also have to look on the
+  // RHS. But this would change again if we go to non-monotonic currying.
 
 def test(io: Object^)(xs: List[Object^{io}]): Unit =
   val h = () => f(xs)

tests/pos-custom-args/captures/cc-poly-source-capability.scala

@@ -27,7 +27,7 @@ import caps.use
     src.register{lst1}
     src.register(listener(async1))
     lsts.foreach(src.register(_)) // TODO: why we need to use _ explicitly here?
-    others.map(listener[C]).foreach(src.register(_)) // TODO: drop [C] and you get illegal capture reference: CapSet
+    others.map(listener[C]).foreach(src.register(_))
     val ls = src.allListeners
     val _: Set[Listener^{async1, C}] = ls
 

tests/pos-custom-args/captures/sep-pairs.scala

@@ -21,12 +21,12 @@ def copyPair[C^, D^](@consume p: Pair[Ref^{C}, Ref^{D}]): Pair[Ref^{C}, Ref^{D}]
 
 /* TODO: The following variants don't work
 
-def copyPair[C^, D^](@consume p: Pair[Ref^{C}, Ref^{D}]): Pair[Ref^{C}, Ref^{D}] =
+def copyPair1[C^, D^](@consume p: Pair[Ref^{C}, Ref^{D}]): Pair[Ref^{C}, Ref^{D}] =
   val x: Ref^{C} = p.fst
   val y: Ref^{D} = p.snd
   Pair(x, y)
 
-def copyPair[C^, D^](@consume p: Pair[Ref^{C}, Ref^{D}]): Pair[Ref^, Ref^] =
+def copyPair2[C^, D^](@consume p: Pair[Ref^{C}, Ref^{D}]): Pair[Ref^, Ref^] =
   val x: Ref^{C} = p.fst
   val y: Ref^{D} = p.snd
   Pair(x, y)