add test set for exhaustivity and redundancy check

1 files changed, 33 insertions, 0 deletions

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