Fix type SeqLiteral when pt is nullable

noti0na1 · noti0na1 · commit 3923aa5fc5e9 · 2020-09-26T17:16:01.000-04:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -1604,7 +1604,8 @@ class Typer extends Namer
   }
 
   def typedSeqLiteral(tree: untpd.SeqLiteral, pt: Type)(using Context): SeqLiteral = {
-    val elemProto = pt.elemType match {
+    val pt1 = if ctx.explicitNulls then pt.stripNull else pt
+    val elemProto = pt1.elemType match {
       case NoType => WildcardType
       case bounds: TypeBounds => WildcardType(bounds)
       case elemtp => elemtp

Original file line number	Diff line number	Diff line change
`@@ -1604,7 +1604,8 @@ class Typer extends Namer`
`1604`	`1604`	`}`
`1605`	`1605`
`1606`	`1606`	`def typedSeqLiteral(tree: untpd.SeqLiteral, pt: Type)(using Context): SeqLiteral = {`
`1607`		`- val elemProto = pt.elemType match {`
	`1607`	`+ val pt1 = if ctx.explicitNulls then pt.stripNull else pt`
	`1608`	`+ val elemProto = pt1.elemType match {`
`1608`	`1609`	`case NoType => WildcardType`
`1609`	`1610`	`case bounds: TypeBounds => WildcardType(bounds)`
`1610`	`1611`	`case elemtp => elemtp`