blob: 6396944145df74b651338bea6127c0de68643bde (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
t4691_exhaust_extractor.scala:17: warning: match may not be exhaustive.
It would fail on the following input: Bar3()
def f1(x: Foo) = x match {
^
t4691_exhaust_extractor.scala:23: warning: match may not be exhaustive.
It would fail on the following input: Bar3()
def f2(x: Foo) = x match {
^
t4691_exhaust_extractor.scala:29: warning: match may not be exhaustive.
It would fail on the following input: Bar3()
def f3(x: Foo) = x match {
^
error: No warnings can be incurred under -Xfatal-warnings.
three warnings found
one error found
|
