File tree Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Original file line number Diff line number Diff line change 1
- //> using options -Werror
2
-
3
1
def boundary [T ](body : (T => RuntimeException ) => T ): T =
4
2
case class Break (value : T ) extends RuntimeException
5
3
try body(Break .apply)
6
- catch case Break (t) => t // error : pattern matching on local classes is unsound currently
4
+ catch case Break (t) => t // warn : pattern matching on local classes is unsound currently
7
5
8
6
def test =
9
7
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
case class Break (value : T ) extends RuntimeException
18
16
try body(local.Break .apply)
19
- catch case local.Break (t) => t // error
17
+ catch case local.Break (t) => t // warn
You can’t perform that action at this time.
0 commit comments