add test set for exhaustivity and redundancy check

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/patmat/t7437.scala b/tests/patmat/t7437.scala
new file mode 100644
index 000000000..b0c5dff7c
--- /dev/null
+++ b/tests/patmat/t7437.scala
@@ -0,0 +1,17 @@
+sealed trait IntegralNumber
+sealed trait FiniteNumber extends IntegralNumber
+
+object IntegralNumber {
+
+  sealed abstract class BaseNumber extends IntegralNumber
+  sealed abstract class NonFinite extends BaseNumber
+  object NaN extends NonFinite
+  sealed abstract class FiniteNumberImpl[N](val value: N) extends BaseNumber with FiniteNumber
+  sealed class IntNumber(value: Int) extends FiniteNumberImpl[Int](value)
+
+  def test(t: IntNumber, o: IntegralNumber) = o match {
+    case NaN => -1
+    case o: IntNumber => t.value.compare(o.value)
+  }
+
+}
\ No newline at end of file