aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat/t4691_exhaust_extractor.check
diff options
context:
space:
mode:
Diffstat (limited to 'tests/patmat/t4691_exhaust_extractor.check')
-rw-r--r--tests/patmat/t4691_exhaust_extractor.check13
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/patmat/t4691_exhaust_extractor.check b/tests/patmat/t4691_exhaust_extractor.check
new file mode 100644
index 000000000..e7d1e17f9
--- /dev/null
+++ b/tests/patmat/t4691_exhaust_extractor.check
@@ -0,0 +1,13 @@
+./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