Drop some TODOs in tests, explain others

Author: odersky

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)