diff options
author | Martin Odersky <odersky@gmail.com> | 2007-10-31 17:33:02 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-10-31 17:33:02 +0000 |
commit | bff42682bc489dcdad34ec91f34e6c2c3dca7cf1 (patch) | |
tree | 9c496712c4f98e91261f15cb5b5a5a0c1b943656 /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
parent | 9e8c022640f74e963baa930dd657d920a914a43d (diff) | |
download | scala-bff42682bc489dcdad34ec91f34e6c2c3dca7cf1.tar.gz scala-bff42682bc489dcdad34ec91f34e6c2c3dca7cf1.tar.bz2 scala-bff42682bc489dcdad34ec91f34e6c2c3dca7cf1.zip |
fixed several problems with implicits.
Changed ways inner types of modules print: Module.this.Type =>
Module.type
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index df34651883..fb10d2b1b2 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -169,8 +169,7 @@ abstract class RefChecks extends InfoTransform { val mb = member.accessBoundary(member.owner) val ob = other.accessBoundary(member.owner) if (mb != RootClass && mb != NoSymbol && // todo: change - (ob == RootClass || ob == NoSymbol || - mb != ob && !(ob.ownerChain contains mb) || + (ob == RootClass || ob == NoSymbol || !ob.hasTransOwner(mb) || (other hasFlag PROTECTED) && !(member hasFlag PROTECTED))) { overrideAccessError() } else if (other hasFlag FINAL) { // (1.2) |