diff options
author | Martin Odersky <odersky@gmail.com> | 2010-06-07 16:50:20 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2010-06-07 16:50:20 +0000 |
commit | 1c243de3c6742d2d2dd746dde2b14caed4d6c065 (patch) | |
tree | 247525c37f94413addb82a03af3181ff209a498b | |
parent | e67f56076624ea83383901934a30280d7f97380f (diff) | |
download | scala-1c243de3c6742d2d2dd746dde2b14caed4d6c065.tar.gz scala-1c243de3c6742d2d2dd746dde2b14caed4d6c065.tar.bz2 scala-1c243de3c6742d2d2dd746dde2b14caed4d6c065.zip |
Fixed #3174. Review by spoon
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index aad80c1d8c..a892ae1582 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -1831,6 +1831,13 @@ trait Typers { self: Analyzer => enterLabelDef(stat) } if (phaseId(currentPeriod) <= currentRun.typerPhase.id) { + // One reason for this code is that structural refinements + // come with strings attached; for instance the inferred type + // may not refer to enclosing type parameters. + // So abstracting out an anonymous class might lead to type errors. + // The setPrivateWithin below is is a quick hack to avoid escaping privates checks + // we need to go back and address the problem of escaping + // idents form ths ground up. block match { case block @ Block(List(classDef @ ClassDef(_, _, _, _)), newInst @ Apply(Select(New(_), _), _)) => // The block is an anonymous class definitions/instantiation pair @@ -1851,8 +1858,7 @@ trait Typers { self: Analyzer => ) { member.resetFlag(PROTECTED) member.resetFlag(LOCAL) - member.setFlag(PRIVATE) - member.privateWithin = NoSymbol + member.privateWithin = classDef.symbol } case _ => } |