From cc02243fbe8b7290265e1bdf540e4c2f256df199 Mon Sep 17 00:00:00 2001
From: liu fengyun <liufengyunchina@gmail.com>
Date: Thu, 21 Jul 2016 10:45:14 +0200
Subject: add test set for exhaustivity and redundancy check

---
 tests/patmat/t8178.scala | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 tests/patmat/t8178.scala

(limited to 'tests/patmat/t8178.scala')

diff --git a/tests/patmat/t8178.scala b/tests/patmat/t8178.scala
new file mode 100644
index 000000000..4fb39955b
--- /dev/null
+++ b/tests/patmat/t8178.scala
@@ -0,0 +1,33 @@
+sealed trait Fails
+case class VarArgs1(a: String*) extends Fails
+case class FailsChild2(a: Seq[String]) extends Fails
+object FailsTest {
+  def matchOnVarArgsFirstFails(f: Fails) = {
+    f match {
+      case VarArgs1(_) => ???
+      // BUG: Without this line we should get a non-exhaustive match compiler error.
+      //case FailsChild2(_) => ???
+    }
+  }
+
+  def matchOnSeqArgsFirstWorks(f: Fails) = {
+    f match {
+      case FailsChild2(_) => ???
+      // Without this line, the compiler reports a "match may not be exhaustive" error as expected.
+      // case VarArgs1(_) => ???
+    }
+  }
+}
+
+sealed trait Works
+case class SeqArgs1(a: Seq[String]) extends Works
+case class SeqArgs2(a: Seq[String]) extends Works
+object WorksTest {
+  def matcher(f: Works) = {
+    f match {
+      case SeqArgs1(_) => ???
+      // Without this line, the compiler reports a "match may not be exhaustive" error as expected.
+      // case SeqArgs2(_) => ???
+    }
+  }
+}
\ No newline at end of file
-- 
cgit v1.2.3