From ba123f081f05c46475248a1309df406a2c766dce Mon Sep 17 00:00:00 2001
From: Jason Zaugg <jzaugg@gmail.com>
Date: Sat, 12 May 2012 15:19:08 +0200
Subject: Confirm extractor based pattern matches don't explode exponentially.

Closes SI-1133, thanks virtpatmat.
---
 test/files/pos/t1133.scala | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 test/files/pos/t1133.scala

diff --git a/test/files/pos/t1133.scala b/test/files/pos/t1133.scala
new file mode 100644
index 0000000000..4538de5f5f
--- /dev/null
+++ b/test/files/pos/t1133.scala
@@ -0,0 +1,32 @@
+object Match
+{
+  def main(args: Array[String]) = {
+    args(0) match {
+        case Extractor1(Extractor2(Extractor3("dog", "dog", "dog"), x2, x3), b, c, Extractor3("b", "b", f), e) => println(e)
+        case Extractor3(Extractor2(Extractor1("a", "aa", "aaa", "aa", "a"), Extractor2("a", "aa", "aaa"), e), y, z) => println(e)
+        case Extractor2(Extractor3("a", "a", x), Extractor3("b", "b", y), Extractor3("c", "c", z)) => println(z)
+        case _ => println("fail")
+    }
+  }
+  
+  object Extractor1 {
+    def unapply(x: Any) = x match {
+        case x: String => Some(x, x+x, x+x+x, x+x, x)
+        case _ => None
+    }
+  }
+  
+  object Extractor2 {
+    def unapply(x: Any) = x match {
+        case x: String => Some(x, x+x, x+x+x)
+        case _ => None
+    }
+  }
+  
+  object Extractor3 {
+    def unapply(x: Any) = x match {
+        case x: String => Some(x, x, x)
+        case _ => None
+    }
+  }
+}
-- 
cgit v1.2.3