diff options
author | Martin Odersky <odersky@gmail.com> | 2008-01-22 14:35:24 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2008-01-22 14:35:24 +0000 |
commit | a478609e1b61fd8b3fd4032a7cf081f88fb3cf30 (patch) | |
tree | 8fc07e7ba02c9cccab04d829f510550edb281971 /src | |
parent | 0580641b2e3bee999691a92eaba8e59e73d33154 (diff) | |
download | scala-a478609e1b61fd8b3fd4032a7cf081f88fb3cf30.tar.gz scala-a478609e1b61fd8b3fd4032a7cf081f88fb3cf30.tar.bz2 scala-a478609e1b61fd8b3fd4032a7cf081f88fb3cf30.zip |
fixed #342
Diffstat (limited to 'src')
-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 dcefef89fe..cace90f489 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -2315,7 +2315,7 @@ trait Typers { self: Analyzer => } if (tpt1.tpe.typeSymbol.isAbstractType || (tpt1.tpe.typeSymbol hasFlag ABSTRACT)) error(tree.pos, tpt1.tpe.typeSymbol + " is abstract; cannot be instantiated") - else if (tpt1.tpe.typeSymbol.thisSym != tpt1.tpe.typeSymbol && + else if (tpt1.tpe.typeSymbol.initialize.thisSym != tpt1.tpe.typeSymbol && !(tpt1.tpe <:< tpt1.tpe.typeOfThis) && !phase.erasedTypes) error(tree.pos, tpt1.tpe.typeSymbol + |