Add regression test for scala/bug#9220

gslowikowski · Nov 23, 2017 · 9bc6baa · 9bc6baa
1 parent 6ac6da8
commit 9bc6baa
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/test/files/pos/t9220.flags b/test/files/pos/t9220.flags
@@ -0,0 +1 @@
+-Xfatal-warnings
diff --git a/test/files/pos/t9220.scala b/test/files/pos/t9220.scala
@@ -0,0 +1,14 @@
+object Test {
+  trait Command
+  object Command {
+    sealed trait Execution extends Command
+  }
+
+  case class Buzz() extends Command.Execution
+  case class Door() extends Command.Execution
+
+  def foo(cmd: Command.Execution) = cmd match {
+    case x @ (_: Buzz) => ???
+    case x @ (_: Door) => ???
+  }
+}