blob: cd12e56f86efcceb2b53a8a2de66bdf68e9a6b21 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
t4691_exhaust_extractor.scala:17: error: match may not be exhaustive.
It would fail on the following input: Bar3()
def f1(x: Foo) = x match {
^
t4691_exhaust_extractor.scala:23: error: match may not be exhaustive.
It would fail on the following input: Bar3()
def f2(x: Foo) = x match {
^
t4691_exhaust_extractor.scala:29: error: match may not be exhaustive.
It would fail on the following input: Bar3()
def f3(x: Foo) = x match {
^
three errors found
|
