diff options
| author | Martin Odersky <odersky@gmail.com> | 2009-10-02 13:19:34 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2009-10-02 13:19:34 +0000 |
| commit | 321338da04a6ca9bcc9b77ae663ed27f26a67d85 (patch) | |
| tree | 4cea0a435568b760b688740f5d559a4033cf7962 /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
| parent | 1bc50a7c84b0abc53299b3efcfec4f6a77c759e6 (diff) | |
| download | scala-321338da04a6ca9bcc9b77ae663ed27f26a67d85.tar.gz scala-321338da04a6ca9bcc9b77ae663ed27f26a67d85.tar.bz2 scala-321338da04a6ca9bcc9b77ae663ed27f26a67d85.zip | |
Fixed #1939,plus some moving things around.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 030028fcf6..52f4952060 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -3589,7 +3589,7 @@ trait Typers { self: Analyzer => def subArrayType(pt: Type) = if (isValueClass(pt.typeSymbol) || !isFullyDefined(pt)) arrayType(pt) else { - val tparam = makeFreshExistential("", context.owner, TypeBounds(NothingClass.tpe, pt)) + val tparam = context.owner freshExistential "" setInfo TypeBounds(NothingClass.tpe, pt) ExistentialType(List(tparam), arrayType(tparam.tpe)) } val (expr1, baseClass) = |