Merge pull request #1364 from dotty-staging/exhaustivity2

Implementation of exhaustivity and redundancy check

1 files changed, 18 insertions, 0 deletions

diff --git a/tests/patmat/t8606.scala b/tests/patmat/t8606.scala
new file mode 100644
index 000000000..9388c9f02
--- /dev/null
+++ b/tests/patmat/t8606.scala
@@ -0,0 +1,18 @@
+class Cl[T] {
+
+  sealed trait A {
+    def foo = this match {
+      case AObj => 0
+      case BObj => 0
+      case ACls(x) => 0
+      case BCls(x) => 0
+    }
+  }
+
+  case object AObj extends A
+  case class ACls(x: Int) extends A
+
+  sealed trait B extends A
+  case object BObj extends B
+  case class BCls(x: Int) extends B
+}