Replace "$plus" with "+" in webview

Author: felixmulder

dottydoc/jvm/src/dotty/tools/dottydoc/html/EntityPage.scala

@@ -75,8 +75,9 @@ case class EntityPage(entity: Entity, packages: Map[String, Package]) {
     )
   )
 
-  private def filteredName(str: String) =
-    str.replaceAll("\\$colon", ":")
+  private def filteredName(str: String) = str
+    .replaceAll("\\$colon", ":")
+    .replaceAll("\\$plus", "+")
 
   private def relativePath(to: Entity) =
     util.traversing.relativePath(entity, to)

dottydoc/jvm/test/WhitelistedStdLib.scala

@@ -14,4 +14,19 @@ class TestWhitelistedCollections extends DottyTest {
 
       assert(array.comment.get.body.length > 0)
     }
+
+  @Test def traitImmutableHasDocumentation =
+    checkFiles(WhitelistedStandardLib.files) { doc =>
+      val imm = doc
+        .packages("scala")
+        .children.find(_.path.mkString(".") == "scala.Immutable")
+        .get
+
+      assert(
+        imm.kind == "trait" && imm.name == "Immutable",
+        "Found wrong `Immutable`")
+      assert(
+        imm.comment.map(_.body).get.length > 0,
+        "Imm did not have a comment with length > 0")
+    }
 }