We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5f115fc commit bc1e435Copy full SHA for bc1e435
tests/neg/i22051.scala renamed to tests/warn/i22051.scala
@@ -1,9 +1,7 @@
1
-//> using options -Werror
2
-
3
def boundary[T](body: (T => RuntimeException) => T): T =
4
case class Break(value: T) extends RuntimeException
5
try body(Break.apply)
6
- catch case Break(t) => t // error: pattern matching on local classes is unsound currently
+ catch case Break(t) => t // warn: pattern matching on local classes is unsound currently
7
8
def test =
9
boundary[Int]: EInt =>
@@ -16,4 +14,4 @@ def boundaryCorrectBehaviour[T](body: (T => RuntimeException) => T): T =
16
14
// A correct implementation, but is still treated as a local class right now
17
15
18
try body(local.Break.apply)
19
- catch case local.Break(t) => t // error
+ catch case local.Break(t) => t // warn
0 commit comments