1 files changed, 38 insertions, 0 deletions
diff --git a/tests/untried/neg/t4425b.scala b/tests/untried/neg/t4425b.scala
new file mode 100644
index 000000000..23c4855c7
--- /dev/null
+++ b/tests/untried/neg/t4425b.scala
@@ -0,0 +1,38 @@
+object Test1 {
+  object X { def unapply(x : String)(y: String) = throw new Exception }
+
+  def f1(): Unit = {
+    println(      "" match { case _ X _   => "ok" ; case _ => "fail" })
+    println((X: Any) match { case _ X _   => "ok" ; case _ => "fail" })
+    println(      "" match { case X(_)    => "ok" ; case _ => "fail" })
+    println((X: Any) match { case X(_)    => "ok" ; case _ => "fail" })
+    println(      "" match { case X(_, _) => "ok" ; case _ => "fail" })
+    println((X: Any) match { case X(_, _) => "ok" ; case _ => "fail" })
+  }
+}
+
+object Test2 {
+  object X { def unapply(x : String) = throw new Exception }
+
+  def f1(): Unit = {
+    println(      "" match { case _ X _   => "ok" ; case _ => "fail" })
+    println((X: Any) match { case _ X _   => "ok" ; case _ => "fail" })
+    println(      "" match { case X(_)    => "ok" ; case _ => "fail" })
+    println((X: Any) match { case X(_)    => "ok" ; case _ => "fail" })
+    println(      "" match { case X(_, _) => "ok" ; case _ => "fail" })
+    println((X: Any) match { case X(_, _) => "ok" ; case _ => "fail" })
+  }
+}
+
+object Test3 {
+  object X { def unapply(x : String) = None }
+
+  def f1(): Unit = {
+    println(      "" match { case _ X _   => "ok" ; case _ => "fail" })
+    println((X: Any) match { case _ X _   => "ok" ; case _ => "fail" })
+    println(      "" match { case X(_)    => "ok" ; case _ => "fail" })
+    println((X: Any) match { case X(_)    => "ok" ; case _ => "fail" })
+    println(      "" match { case X(_, _) => "ok" ; case _ => "fail" })
+    println((X: Any) match { case X(_, _) => "ok" ; case _ => "fail" })
+  }
+}