File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
tests/neg-custom-args/captures Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -12,7 +12,7 @@ def box[T](v: T) : Observe[T] = {
12
12
}
13
13
14
14
def main () : Int = {
15
- val boxed : Observe [{* } C ] = box(newC)
15
+ val boxed : Observe [{* } C ] = box(newC) // error
16
16
boxed(unsafe)
17
17
18
18
0
Original file line number Diff line number Diff line change 1
1
-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/try.scala:22:49 ------------------------------------------
2
- 22 | val a = handle[Exception, CanThrow[Exception]] { // error !!! was for 2nd arg
2
+ 22 | val a = handle[Exception, CanThrow[Exception]] { // error
3
3
| ^
4
4
| Found: ? ({*} CT[Exception]) -> {*} CT[? >: box ? Exception <: box ? Exception]
5
5
| Required: CanThrow[Exception] => box {*} CT[Exception]
You can’t perform that action at this time.
0 commit comments