add test set for exhaustivity and redundancy check

1 files changed, 28 insertions, 0 deletions

diff --git a/tests/patmat/t9672.scala b/tests/patmat/t9672.scala
new file mode 100644
index 000000000..fe068f3d5
--- /dev/null
+++ b/tests/patmat/t9672.scala
@@ -0,0 +1,28 @@
+trait Hierarchy {
+  sealed trait Expr
+}
+trait If {
+  this: Hierarchy =>
+  case class If(cond: Expr, yes: Expr, no: Expr) extends Expr
+}
+trait Word {
+  this: Hierarchy =>
+  case class Word(name: String) extends Expr
+}
+trait IntExpr {
+  this: Hierarchy =>
+  case class IntExpr(value : Int) extends Expr
+}
+
+object SimpleExpr extends Hierarchy with If with Word with IntExpr
+//object OtherExpr extends Hierarchy with If with IntExpr
+
+object Demo extends App {
+  import SimpleExpr._
+  def func(expr: Expr) = expr match {
+    case If(cond, yes, no) => cond
+    case Word(name) => name
+    // compiler should emit warning "missing case statement"
+    // emits the wrong warning "unreachable code"
+  }
+}
\ No newline at end of file