File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed
tests/neg-custom-args/captures Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change 2626 | Required: lazylists.LazyList[Int]^{cap2}
2727 |
2828 | longer explanation available when compiling with `-explain`
29- -- [E007] Type Mismatch Error: tests/neg-custom-args/captures/lazylist.scala:41:42 -------------------------------------
30- 41 | val ref4c: LazyList[Int]^{cap1, ref3} = ref4 // error
31- | ^^^^
32- | Found: (ref4 : lazylists.LazyList[Int]^{cap3, cap1, cap2 })
33- | Required: lazylists.LazyList[Int]^{cap1, ref3}
29+ -- [E007] Type Mismatch Error: tests/neg-custom-args/captures/lazylist.scala:41:48 -------------------------------------
30+ 41 | val ref4c: LazyList[Int]^{cap1, ref3, cap3 } = ref4 // error
31+ | ^^^^
32+ | Found: (ref4 : lazylists.LazyList[Int]^{cap3, cap2, ref1, cap1 })
33+ | Required: lazylists.LazyList[Int]^{cap1, ref3, cap3 }
3434 |
3535 | longer explanation available when compiling with `-explain`
3636-- [E164] Declaration Error: tests/neg-custom-args/captures/lazylist.scala:22:6 ----------------------------------------
You can’t perform that action at this time.
0 commit comments