aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/ast/tpd.scala
diff options
context:
space:
mode:
authorDmitry Petrashko <dmitry.petrashko@gmail.com>2016-03-30 17:07:11 +0200
committerDmitry Petrashko <dmitry.petrashko@gmail.com>2016-04-18 14:46:57 +0200
commit2c370bdec8d2a8a2c4b339d4e7f18e6215b03244 (patch)
treedaafa0a8a4d5e4b60e1a0ae80cdfa2fc30f3698f /src/dotty/tools/dotc/ast/tpd.scala
parent3fc2b6e022a9ca38f93aa778999516d8e67576cf (diff)
downloaddotty-2c370bdec8d2a8a2c4b339d4e7f18e6215b03244.tar.gz
dotty-2c370bdec8d2a8a2c4b339d4e7f18e6215b03244.tar.bz2
dotty-2c370bdec8d2a8a2c4b339d4e7f18e6215b03244.zip
make tpd.JavaSeqLiteral return JavaSeqLiteral
Diffstat (limited to 'src/dotty/tools/dotc/ast/tpd.scala')
-rw-r--r--src/dotty/tools/dotc/ast/tpd.scala5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/ast/tpd.scala b/src/dotty/tools/dotc/ast/tpd.scala
index 01b1919c9..de9d2165c 100644
--- a/src/dotty/tools/dotc/ast/tpd.scala
+++ b/src/dotty/tools/dotc/ast/tpd.scala
@@ -125,8 +125,8 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
def SeqLiteral(elems: List[Tree], elemtpt: Tree)(implicit ctx: Context): SeqLiteral =
ta.assignType(untpd.SeqLiteral(elems, elemtpt), elems, elemtpt)
- def JavaSeqLiteral(elems: List[Tree], elemtpt: Tree)(implicit ctx: Context): SeqLiteral =
- ta.assignType(new untpd.JavaSeqLiteral(elems, elemtpt), elems, elemtpt)
+ def JavaSeqLiteral(elems: List[Tree], elemtpt: Tree)(implicit ctx: Context): JavaSeqLiteral =
+ ta.assignType(new untpd.JavaSeqLiteral(elems, elemtpt), elems, elemtpt).asInstanceOf[JavaSeqLiteral]
def TypeTree(original: Tree)(implicit ctx: Context): TypeTree =
TypeTree(original.tpe, original)
@@ -371,6 +371,7 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
if (TypeErasure.isUnboundedGeneric(elemTpe)) {
//exists only before erasure
assert(dims.elems.tail.isEmpty)
+ assert(!ctx.isAfterTyper) // needs to infer an implicit
newArr(defn.newGenericArrayMethod).appliedToType(elemTpe).appliedTo(dims.elems.head)
}
else