2 files changed, 17 insertions, 0 deletions
diff --git a/test/scaladoc/resources/SI_4715.scala b/test/scaladoc/resources/SI_4715.scala
new file mode 100644
index 0000000000..29daf43717
--- /dev/null
+++ b/test/scaladoc/resources/SI_4715.scala
@@ -0,0 +1,7 @@
+class SI_4715 {
+  type :+:[X,Y] = Map[X,Y]
+  val withType: Int :+: Double = error("")
+
+  trait :-:[X,Y]
+  val withTrait: Int :-: Double = error("")
+}
diff --git a/test/scaladoc/scala/html/HtmlFactoryTest.scala b/test/scaladoc/scala/html/HtmlFactoryTest.scala
index 21bcc29364..4fcd4136d2 100644
--- a/test/scaladoc/scala/html/HtmlFactoryTest.scala
+++ b/test/scaladoc/scala/html/HtmlFactoryTest.scala
@@ -334,4 +334,14 @@ object Test extends Properties("HtmlFactory") {
       case _ => false
     }
   }
+
+  property("Should decode symbolic type alias name.") = {
+    createTemplate("SI_4715.scala") match {
+      case node: scala.xml.Node => {
+        val html = node.toString
+        html.contains(">: :+:[<")
+      }
+      case _ => false
+    }
+  }
 }