diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-09 23:46:17 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-09 23:46:17 +0100 |
commit | b50bb200cfcc8108f3ba5269e2ae69d0156f944d (patch) | |
tree | fff3d9cff7b0a5d62354f52f594a4acf06dc20c0 /src/dotty/tools/dotc/typer/Typer.scala | |
parent | d998a3287b465e99340c50f01680f8b3b9b87218 (diff) | |
download | dotty-b50bb200cfcc8108f3ba5269e2ae69d0156f944d.tar.gz dotty-b50bb200cfcc8108f3ba5269e2ae69d0156f944d.tar.bz2 dotty-b50bb200cfcc8108f3ba5269e2ae69d0156f944d.zip |
Ensure progress in checkAccessible
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index b3511841d..e9f939249 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -112,7 +112,7 @@ class Typer extends Namer with Applications with Implicits { val d = tpe.denot.accessibleFrom(pre, superAccess) if (!d.exists) { val d2 = pre.nonPrivateMember(name) - if (reallyExists(d2)) + if (reallyExists(d2) && (d2 ne tpe.denot)) checkAccessible(pre.select(name, d2), superAccess, pos) else { val alts = tpe.denot.alternatives.map(_.symbol).filter(_.exists) |