blob: 803e651d190818b0c70b0f38c72bef924a2d9e09 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
class A {
def f1(x: Int) = x match {
case _ if false => x // unreachable
case 5 => x
}
def f2(x: Int) = x match {
case _ if false => x // unreachable
case 5 if true => x
}
def f3(x: Int) = x match {
case _ => x
case 5 if true => x // unreachable
}
def test1(x: Int) = x match {
case c if c < 0 => 0
case 1 => 1
case _ => 2
}
}
|