add tests from scala/test/files/{pos,neg}

with explicit Unit return type

1 files changed, 16 insertions, 0 deletions

diff --git a/tests/untried/neg/virtpatmat_reach_sealed_unsealed.check b/tests/untried/neg/virtpatmat_reach_sealed_unsealed.check
new file mode 100644
index 000000000..064a12bca
--- /dev/null
+++ b/tests/untried/neg/virtpatmat_reach_sealed_unsealed.check
@@ -0,0 +1,16 @@
+virtpatmat_reach_sealed_unsealed.scala:16: warning: match may not be exhaustive.
+It would fail on the following input: false
+  (true: Boolean) match { case true => } // not exhaustive, but reachable
+       ^
+virtpatmat_reach_sealed_unsealed.scala:18: warning: unreachable code
+  (true: Boolean) match { case true => case false =>  case _ => } // exhaustive, last case is unreachable
+                                                             ^
+virtpatmat_reach_sealed_unsealed.scala:19: warning: unreachable code
+  (true: Boolean) match { case true => case false =>  case _: Boolean => } // exhaustive, last case is unreachable
+                                                                      ^
+virtpatmat_reach_sealed_unsealed.scala:20: warning: unreachable code
+  (true: Boolean) match { case true => case false =>  case _: Any => } // exhaustive, last case is unreachable
+                                                                  ^
+error: No warnings can be incurred under -Xfatal-warnings.
+four warnings found
+one error found