Update check files

Author: odersky

tests/neg-custom-args/captures/depfun-reach.check

@@ -1,19 +1,19 @@
--- [E007] Type Mismatch Error: tests/neg-custom-args/captures/depfun-reach.scala:13:4 ----------------------------------
-13 |    op // error
+-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/depfun-reach.scala:19:4 ----------------------------------
+19 |    op // error
    |    ^^
    |    Found:    (xs: List[(X, box () ->{io} Unit)]) ->{op} List[box () ->{xs*} Unit]
    |    Required: (xs: List[(X, box () ->{io} Unit)]) => List[() -> Unit]
    |
    | longer explanation available when compiling with `-explain`
--- [E007] Type Mismatch Error: tests/neg-custom-args/captures/depfun-reach.scala:20:60 ---------------------------------
-20 |  val b: (xs: List[() ->{io} Unit]) => List[() ->{} Unit] = a // error
+-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/depfun-reach.scala:26:60 ---------------------------------
+26 |  val b: (xs: List[() ->{io} Unit]) => List[() ->{} Unit] = a // error
    |                                                            ^
    |                                        Found:    (xs: List[box () ->{io} Unit]) ->{a} List[box () ->{xs*} Unit]
    |                                        Required: (xs: List[box () ->{io} Unit]) => List[() -> Unit]
    |
    | longer explanation available when compiling with `-explain`
--- Error: tests/neg-custom-args/captures/depfun-reach.scala:12:17 ------------------------------------------------------
-12 |               : (xs: List[(X, () ->{io} Unit)]) => List[() ->{} Unit] = // error
+-- Error: tests/neg-custom-args/captures/depfun-reach.scala:18:17 ------------------------------------------------------
+18 |               : (xs: List[(X, () ->{io} Unit)]) => List[() ->{} Unit] = // error
    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |Separation failure: method foo's result type (xs: List[(X, box () ->{io} Unit)]) => List[() -> Unit] hides parameter op.
    |The parameter needs to be annotated with @consume to allow this.

tests/neg-custom-args/captures/depfun-reach.scala

@@ -1,6 +1,12 @@
 import language.experimental.captureChecking
 import caps.cap
 
+trait List[+T]:
+  def foreach(op: T => Unit): Unit = ???
+
+object List:
+  def apply[T](elem: T): List[T] = ???
+
 def test(io: Object^, async: Object^) =
   def compose(op: List[(() ->{cap} Unit, () ->{cap} Unit)]): List[() ->{op*} Unit] =
     List(() => op.foreach((f,g) => { f(); g() }))

tests/neg/polymorphic-erased-functions-types.check

@@ -9,7 +9,10 @@
 4 |def t1b: [T] => (erased t: T) => Unit = [T] => (t: T) => () // error
   |                                        ^^^^^^^^^^^^^^^^^^^
   |                                        Found:    [T] => (t: T) => Unit
-  |                                        Required: [T] => (erased t: T) => Unit
+  |                                        Required: [T] => (erased t²: T) => Unit
+  |
+  |                                        where:    t  is a reference to a value parameter
+  |                                                  t² is a reference to a value parameter
   |
   | longer explanation available when compiling with `-explain`
 -- [E007] Type Mismatch Error: tests/neg/polymorphic-erased-functions-types.scala:6:36 ---------------------------------
@@ -23,6 +26,11 @@
 7 |def t2b: [T, U] => (t: T, erased u: U) => Unit = [T, U] => (t: T, u: U) => () // error
   |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |                                                 Found:    [T, U] => (t: T, u: U) => Unit
-  |                                                 Required: [T, U] => (t: T, erased u: U) => Unit
+  |                                                 Required: [T, U] => (t²: T, erased u²: U) => Unit
+  |
+  |                                                 where:    t  is a reference to a value parameter
+  |                                                           t² is a reference to a value parameter
+  |                                                           u  is a reference to a value parameter
+  |                                                           u² is a reference to a value parameter
   |
   | longer explanation available when compiling with `-explain`

tests/neg/polymorphic-functions1.check

@@ -2,6 +2,9 @@
 1 |val f: [T] => (x: T) => x.type = [T] => (x: Int) => x // error
   |                                 ^^^^^^^^^^^^^^^^^^^^
   |                                 Found:    [T] => (x: Int) => x.type
-  |                                 Required: [T] => (x: T) => x.type
+  |                                 Required: [T] => (x²: T) => x².type
+  |
+  |                                 where:    x  is a reference to a value parameter
+  |                                           x² is a reference to a value parameter
   |
   | longer explanation available when compiling with `-explain`