Pass right prototype to SeqLiteral elements.

odersky · odersky · commit 042cee21d2d1 · 2014-12-05T16:11:20.000+01:00
diff --git a/src/dotty/tools/dotc/transform/Erasure.scala b/src/dotty/tools/dotc/transform/Erasure.scala
@@ -374,6 +374,10 @@ object Erasure extends TypeTestsCasts{
       }
     }
 
+    override def typedSeqLiteral(tree: untpd.SeqLiteral, pt: Type)(implicit ctx: Context) =
+      super.typedSeqLiteral(tree, tree.typeOpt)
+        // proto type of typed seq literal is original type; this makes elements be adapted to correct type.
+
     override def typedValDef(vdef: untpd.ValDef, sym: Symbol)(implicit ctx: Context): ValDef =
       super.typedValDef(untpd.cpy.ValDef(vdef)(
         tpt = untpd.TypedSplice(TypeTree(sym.info).withPos(vdef.tpt.pos))), sym)

Original file line number	Diff line number	Diff line change
`@@ -374,6 +374,10 @@ object Erasure extends TypeTestsCasts{`
`374`	`374`	`}`
`375`	`375`	`}`
`376`	`376`
	`377`	`+ override def typedSeqLiteral(tree: untpd.SeqLiteral, pt: Type)(implicit ctx: Context) =`
	`378`	`+ super.typedSeqLiteral(tree, tree.typeOpt)`
	`379`	`+ // proto type of typed seq literal is original type; this makes elements be adapted to correct type.`
	`380`	`+`
`377`	`381`	`override def typedValDef(vdef: untpd.ValDef, sym: Symbol)(implicit ctx: Context): ValDef =`
`378`	`382`	`super.typedValDef(untpd.cpy.ValDef(vdef)(`
`379`	`383`	`tpt = untpd.TypedSplice(TypeTree(sym.info).withPos(vdef.tpt.pos))), sym)`