Re-implement template expansion of references as filter

The original implementation used the template engine to recursively
expand references. This was very error-prone and with no typesafety and
proper stack traces it was very hard to diagnose. As such, these two
expansions (links and references) have been re-implemented as filters.

1 files changed, 8 insertions, 0 deletions

diff --git a/doc-tool/src/dotty/tools/dottydoc/model/references.scala b/doc-tool/src/dotty/tools/dottydoc/model/references.scala
index a28148fa7..766b2a340 100644
--- a/doc-tool/src/dotty/tools/dottydoc/model/references.scala
+++ b/doc-tool/src/dotty/tools/dottydoc/model/references.scala
@@ -17,4 +17,12 @@ object references {
   final case class UnsetLink(title: String, query: String) extends MaterializableLink
   final case class MaterializedLink(title: String, target: String) extends MaterializableLink
   final case class NoLink(title: String, target: String) extends MaterializableLink
+
+  object AndOrTypeReference {
+    def unapply(ref: Reference): Option[(Reference, String, Reference)] = ref match {
+      case OrTypeReference(left, right) => Some((left, "|", right))
+      case AndTypeReference(left, right) => Some((left, "&", right))
+      case _ => None
+    }
+  }
 }