diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-12-05 16:11:20 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-12-05 16:11:20 +0100 |
| commit | 042cee21d2d12445d728b19b896a75ba4a4a7bd9 (patch) | |
| tree | ac2dc2021cda20f506c45dff77d727efb734376c /src/dotty/tools | |
| parent | a612da844fc7c9e9cc920e4b9c0ecb65e0273d0c (diff) | |
| download | dotty-042cee21d2d12445d728b19b896a75ba4a4a7bd9.tar.gz dotty-042cee21d2d12445d728b19b896a75ba4a4a7bd9.tar.bz2 dotty-042cee21d2d12445d728b19b896a75ba4a4a7bd9.zip | |
Pass right prototype to SeqLiteral elements.
Diffstat (limited to 'src/dotty/tools')
| -rw-r--r-- | src/dotty/tools/dotc/transform/Erasure.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/transform/Erasure.scala b/src/dotty/tools/dotc/transform/Erasure.scala index 23f1aada9..f27fea673 100644 --- 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) |