Merge pull request #1364 from dotty-staging/exhaustivity2

Implementation of exhaustivity and redundancy check

1 files changed, 14 insertions, 0 deletions

diff --git a/tests/patmat/t8068.scala b/tests/patmat/t8068.scala
new file mode 100644
index 000000000..9837b7381
--- /dev/null
+++ b/tests/patmat/t8068.scala
@@ -0,0 +1,14 @@
+trait K[A] {
+  sealed trait T
+  case class  C(x: Int) extends T
+  case object O         extends T
+}
+
+object Hello {
+  def f[A](k: K[A])(t: k.T) = {
+    t match {
+      case k.C(x) => ???
+      case k.O    => ???
+    }
+  }
+}