Update test

Author: odersky

tests/neg-custom-args/captures/i23207.check

@@ -5,3 +5,21 @@
  | Required: A
  |
  | longer explanation available when compiling with `-explain`
+-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/i23207.scala:18:13 ---------------------------------------
+18 | val _: A = c // error
+ | ^
+ | Found: (c : B^{b})
+ | Required: A
+ |
+ | longer explanation available when compiling with `-explain`
+-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/i23207.scala:23:2 ----------------------------------------
+23 | class B extends A: // error, now we see the error for the whole block since there are no nested errors
+ | ^
+ | Found: A^{io}
+ | Required: A
+24 | val hide: AnyRef^{io} = io
+25 | val b = new B
+26 | val c = b.getBox.x
+27 | c
+ |
+ | longer explanation available when compiling with `-explain`

tests/neg-custom-args/captures/i23207.scala

@@ -13,6 +13,16 @@ def leak(io: AnyRef^): A =
  val b = new B
  val box = b.getBox
  val a: A = box.x // error
- val c = b.getBox.x // now OK
- val _: B^{b} = c
- c
+ val c = b.getBox.x
+ val _: B^{b} = c // ok
+ val _: A = c // error
+ c // no error here since we don't propagate expected type into the last expression of a block
+ // and the whole block's span overlaps with previous errors
+
+def leak2(io: AnyRef^): A =
+ class B extends A: // error, now we see the error for the whole block since there are no nested errors
+ val hide: AnyRef^{io} = io
+
+ val b = new B
+ val c = b.getBox.x
+ c