Fixes SI-4507.

2 files changed, 27 insertions, 0 deletions

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 c4adebe0cb..fcdacc3a8a 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
+    }
+  }
 }