add test set for exhaustivity and redundancy check

1 files changed, 28 insertions, 0 deletions

diff --git a/tests/patmat/t9289.scala b/tests/patmat/t9289.scala
new file mode 100644
index 000000000..714a4a0e3
--- /dev/null
+++ b/tests/patmat/t9289.scala
@@ -0,0 +1,28 @@
+trait Module {
+  sealed trait Tree
+
+  case class LetL() extends Tree
+  case class LetR() extends Tree
+}
+
+class Patmat[T <: Module](val module: T) {
+  def patmat(tree: module.Tree) = tree match {
+    case module.LetL() => ???
+  }
+
+  def exhaust(tree: module.Tree) = tree match {
+    case module.LetL() => ???
+    case module.LetR() => ???
+  }
+}
+
+class Patmat2(val module: Module) {
+  def patmat(tree: module.Tree) = tree match {
+    case module.LetL() => ???
+  }
+
+  def exhaust(tree: module.Tree) = tree match {
+    case module.LetL() => ???
+    case module.LetR() => ???
+  }
+}