diff options
Diffstat (limited to 'tests/patmat/t4691_exhaust_extractor.check')
-rw-r--r-- | tests/patmat/t4691_exhaust_extractor.check | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/tests/patmat/t4691_exhaust_extractor.check b/tests/patmat/t4691_exhaust_extractor.check index e7d1e17f9..3122f85c8 100644 --- a/tests/patmat/t4691_exhaust_extractor.check +++ b/tests/patmat/t4691_exhaust_extractor.check @@ -1,13 +1,3 @@ -./tests/patmat/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 { - ^ -./tests/patmat/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 { - ^ -./tests/patmat/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 { - ^ -three warnings found +17: Pattern Match Exhaustivity: _: Bar3 +23: Pattern Match Exhaustivity: _: Bar3 +29: Pattern Match Exhaustivity: _: Bar3 |