Add assert to typedSeqLiteral

odersky · odersky · commit 2ccabc002781 · 2024-11-24T12:25:19.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -2391,6 +2391,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
       assign(elems1, elemtpt1)
     }
     else {
+      assert(tree.isInstanceOf[Trees.JavaSeqLiteral[?]])
       val elems1 = tree.elems.mapconserve(typed(_, elemProto))
       val elemtptType =
         if (isFullyDefined(elemProto, ForceDegree.none))

Original file line number	Diff line number	Diff line change
`@@ -2391,6 +2391,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer`
`2391`	`2391`	`assign(elems1, elemtpt1)`
`2392`	`2392`	`}`
`2393`	`2393`	`else {`
	`2394`	`+ assert(tree.isInstanceOf[Trees.JavaSeqLiteral[?]])`
`2394`	`2395`	`val elems1 = tree.elems.mapconserve(typed(_, elemProto))`
`2395`	`2396`	`val elemtptType =`
`2396`	`2397`	`if (isFullyDefined(elemProto, ForceDegree.none))`