1 files changed, 17 insertions, 0 deletions
diff --git a/tests/patmat/patmat-extractor.scala b/tests/patmat/patmat-extractor.scala
new file mode 100644
index 000000000..02fde96dc
--- /dev/null
+++ b/tests/patmat/patmat-extractor.scala
@@ -0,0 +1,17 @@
+sealed trait Node
+case class NodeA(i: Int) extends Node
+case class NodeB(b: Boolean) extends Node
+case class NodeC(s: String) extends Node
+
+object Node {
+  def unapply(node: Node): Option[(Node, Node)] = ???
+}
+
+// currently scalac can't do anything with following
+// it's possible to do better in our case
+object Test {
+  def foo(x: Node): Boolean = x match { // unexhaustive
+    case Node(NodeA(_), NodeB(_)) => true
+    case Node(NodeA(4), NodeB(false)) => true // unreachable code
+  }
+}
+\ No newline at end of file