diff options
author | Martin Odersky <odersky@gmail.com> | 2014-07-13 14:01:32 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-07-17 11:02:02 +0200 |
commit | dee5f099e9f38ae3082cd88b67dadd970b65f9e2 (patch) | |
tree | ca565416a20655e81d1fa3fac661df1f50dcd860 /src/dotty/tools/dotc/typer/TypeAssigner.scala | |
parent | 90965aba05dbd1595e010e53e4958e807b6fccea (diff) | |
download | dotty-dee5f099e9f38ae3082cd88b67dadd970b65f9e2.tar.gz dotty-dee5f099e9f38ae3082cd88b67dadd970b65f9e2.tar.bz2 dotty-dee5f099e9f38ae3082cd88b67dadd970b65f9e2.zip |
Avoid forming SeqLiterals with singleton type element.
Singleton types are normally widened before inferring types, yet
they did show up as elements of SeqLiterals.
Diffstat (limited to 'src/dotty/tools/dotc/typer/TypeAssigner.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/TypeAssigner.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/TypeAssigner.scala b/src/dotty/tools/dotc/typer/TypeAssigner.scala index 48c263085..ae56df82f 100644 --- a/src/dotty/tools/dotc/typer/TypeAssigner.scala +++ b/src/dotty/tools/dotc/typer/TypeAssigner.scala @@ -279,7 +279,7 @@ trait TypeAssigner { def assignType(tree: untpd.SeqLiteral, elems: List[Tree])(implicit ctx: Context) = { val ownType = if (ctx.erasedTypes) defn.SeqType - else defn.SeqType.appliedTo(ctx.typeComparer.lub(elems.tpes)) + else defn.SeqType.appliedTo(ctx.typeComparer.lub(elems.tpes).widen) tree.withType(ownType) } |