From e4288e5143dc85e9b22d881bf5b19996597722f6 Mon Sep 17 00:00:00 2001
From: Kato Kazuyoshi <kato.kazuyoshi@gmail.com>
Date: Thu, 11 Aug 2011 16:02:53 +0000
Subject: Fixes SI-4507.

---
 test/scaladoc/resources/SI_4507.scala          | 19 +++++++++++++++++++
 test/scaladoc/scala/html/HtmlFactoryTest.scala |  8 ++++++++
 2 files changed, 27 insertions(+)
 create mode 100644 test/scaladoc/resources/SI_4507.scala

diff --git a/test/scaladoc/resources/SI_4507.scala b/test/scaladoc/resources/SI_4507.scala
new file mode 100644
index 0000000000..5b8ed9cd35
--- /dev/null
+++ b/test/scaladoc/resources/SI_4507.scala
@@ -0,0 +1,19 @@
+/**
+ * <pre>
+ * scala> (new AndOrSpec).execute()
+ * AndOrSpec:
+ * The ScalaTest Matchers DSL
+ *   should provide
+ *     an and operator that
+ *     - returns silently when evaluating true and true
+ *     - throws a TestFailedException when evaluating true and false
+ *     - that throws a TestFailedException when evaluating false and true
+ *     - throws a TestFailedException when evaluating false and false
+ *     an or operator that
+ *     - returns silently when evaluating true or true
+ *     - returns silently when evaluating true or false
+ *     - returns silently when evaluating false or true
+ *     - throws a TestFailedException when evaluating false or false
+ * </pre>
+ */
+class SI_4507
diff --git a/test/scaladoc/scala/html/HtmlFactoryTest.scala b/test/scaladoc/scala/html/HtmlFactoryTest.scala
index 45792056fc..ba9058724c 100644
--- a/test/scaladoc/scala/html/HtmlFactoryTest.scala
+++ b/test/scaladoc/scala/html/HtmlFactoryTest.scala
@@ -364,4 +364,12 @@ object Test extends Properties("HtmlFactory") {
       case _ => false
     }
   }
+
+  property("Default arguments of synthesized constructor") = {
+    createTemplate("SI_4507.scala") match {
+      case node: scala.xml.Node =>
+        ! node.toString.contains("<li>returns silently when evaluating true and true</li>")
+      case _ => false
+    }
+  }
 }
-- 
cgit v1.2.3