Skip to content

Commit 58f0f29

Browse files
committed
Fix unchecked warning in scaladoc
It is possible that a subtype of MdNode extends Seq.
1 parent f5d582e commit 58f0f29

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -133,7 +133,7 @@ object TypeTestsCasts {
133133
case _ => recur(defn.AnyType, tpT)
134134
}
135135
case tpe: AppliedType =>
136-
X.widen match {
136+
X.widenDealias match {
137137
case OrType(tp1, tp2) =>
138138
// This case is required to retrofit type inference,
139139
// which cut constraints in the following two cases:

scaladoc/src/dotty/tools/scaladoc/renderers/WikiDocRenderer.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ class DocRender(signatureRenderer: SignatureRenderer)(using DocContext):
1313
case md: MdNode => renderMarkdown(md)
1414
case Nil => raw("")
1515
case Seq(elem: WikiDocElement) => renderElement(elem)
16-
case list: Seq[WikiDocElement] => div(list.map(renderElement))
16+
case list: Seq[WikiDocElement @unchecked] => div(list.map(renderElement))
1717

1818
private def renderMarkdown(el: MdNode): AppliedTag =
1919
raw(DocFlexmarkRenderer.render(el)( (link,name) =>

0 commit comments

Comments
 (0)