add test set for exhaustivity and redundancy check

1 files changed, 14 insertions, 0 deletions

diff --git a/tests/patmat/gadt2.scala.ignore b/tests/patmat/gadt2.scala.ignore
new file mode 100644
index 000000000..80ba72c70
--- /dev/null
+++ b/tests/patmat/gadt2.scala.ignore
@@ -0,0 +1,14 @@
+sealed trait Nat[+T]
+case class Zero() extends Nat[Nothing]
+case class Succ[T]() extends Nat[T]
+
+sealed trait Vect[+N <: Nat[_], +T]
+case class VN[T]() extends Vect[Zero, T]
+case class VC[T, N <: Nat[_]](x: T, xs: Vect[N, T]) extends Vect[Succ[N], T]
+
+object Test {
+  def foo[N <: Nat[_], A, B](v1: Vect[N, A], v2: Vect[N, B]) = (v1, v2) match {
+    case (VN(), VN()) => 1
+    case (VC(x, xs), VC(y, ys)) => 2
+  }
+}