aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat/t9351.check
diff options
context:
space:
mode:
Diffstat (limited to 'tests/patmat/t9351.check')
-rw-r--r--tests/patmat/t9351.check16
1 files changed, 3 insertions, 13 deletions
diff --git a/tests/patmat/t9351.check b/tests/patmat/t9351.check
index 03b94c2c0..bce053c94 100644
--- a/tests/patmat/t9351.check
+++ b/tests/patmat/t9351.check
@@ -1,13 +1,3 @@
-./tests/patmat/t9351.scala:8: warning: match may not be exhaustive.
-It would fail on the following input: _: A
- a match {
- ^
-./tests/patmat/t9351.scala:17: warning: match may not be exhaustive.
-It would fail on the following input: (_, _), (_, None), (_, Some(_))
- (a, o) match {
- ^
-./tests/patmat/t9351.scala:28: warning: match may not be exhaustive.
-It would fail on the following input: (_, _)
- (a, b) match {
- ^
-three warnings found \ No newline at end of file
+8: Pattern Match Exhaustivity: _: A
+17: Pattern Match Exhaustivity: (_, _), (_, None), (_, Some(_))
+28: Pattern Match Exhaustivity: (_, _)