1 files changed, 18 insertions, 0 deletions
diff --git a/tests/untried/neg/t409.scala b/tests/untried/neg/t409.scala
new file mode 100644
index 000000000..5dac2fdaa
--- /dev/null
+++ b/tests/untried/neg/t409.scala
@@ -0,0 +1,18 @@
+abstract class Expr;
+case class Case1(x: Int) extends Expr;
+case class Case2(x: Int) extends Expr;
+case class Case3(x: Int) extends Expr;
+
+class Toto extends Expr with Case1(12);
+
+object Main {
+  def f(x: Expr): Int = x match {
+    case Case1(x) => x
+    case Case2(x) => x
+    case Case3(x) => x
+  }
+
+  def main(args: Array[String]): Unit = {
+    Console.println(f(new Toto));
+  }
+}