1 files changed, 20 insertions, 0 deletions
diff --git a/bench/tests/exhaustivity-S.scala b/bench/tests/exhaustivity-S.scala
new file mode 100644
index 000000000..ba4fef3fd
--- /dev/null
+++ b/bench/tests/exhaustivity-S.scala
@@ -0,0 +1,20 @@
+
+sealed trait O
+object A extends O
+object B extends O
+
+object Test {
+
+  def test(x: O) =
+  (x, x, x, x, x, x, x, x, x, x, x, x, x, x) match {
+    case (A, A, _, _, _, _, _, _, _, _, _, _, _, _) => 1
+    case (_, _, A, A, _, _, _, _, _, _, _, _, _, _) => 2
+    case (_, _, _, _, A, A, _, _, _, _, _, _, _, _) => 3
+    case (_, _, _, _, _, _, A, A, _, _, _, _, _, _) => 4
+    case (_, _, _, _, _, _, _, _, A, A, _, _, _, _) => 5
+    case (_, _, _, _, _, _, _, _, _, _, A, A, _, _) => 6
+    case (_, _, _, _, _, _, _, _, _, _, _, _, A, A) => 7
+    case (B, A, B, A, B, A, B, A, B, A, B, A, B, A) => 8
+
+  }
+}