diff options
author | Martin Odersky <odersky@gmail.com> | 2010-03-01 11:11:25 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2010-03-01 11:11:25 +0000 |
commit | d18435dcd24bed103e0f2a8fa0019dfe8fd60eea (patch) | |
tree | 498950712ca54d66a95e7f6ad6d7da50d2f2a102 /src | |
parent | a73bbdfed16e145da45edef41e0c2542173ac5bf (diff) | |
download | scala-d18435dcd24bed103e0f2a8fa0019dfe8fd60eea.tar.gz scala-d18435dcd24bed103e0f2a8fa0019dfe8fd60eea.tar.bz2 scala-d18435dcd24bed103e0f2a8fa0019dfe8fd60eea.zip |
Closes #3076. Review by community.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 04cbc6f5d2..42d6c31471 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -449,13 +449,13 @@ trait Typers { self: Analyzer => check(owner, scope, pt, tree setType tp1.typeSymbol.classBound) else if (owner == NoSymbol) tree setType packSymbols(hiddenSymbols.reverse, tp1) - else { // privates + else if (!phase.erasedTypes) { // privates val badSymbol = hiddenSymbols.head error(tree.pos, (if (badSymbol hasFlag PRIVATE) "private " else "") + badSymbol + " escapes its defining scope as part of type "+tree.tpe) setError(tree) - } + } else tree } def addHidden(sym: Symbol) = |