diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-08-27 10:48:16 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-08-27 10:55:47 +0200 |
| commit | bfb328ff64dcfa103c91dd0cd55a617e370d6ef3 (patch) | |
| tree | b7003776657a486c8fbfac43a7812b10555b0d5a /src/dotty/tools/dotc/typer/Checking.scala | |
| parent | 292ce6844a212b47defc671c91396d7cec86833b (diff) | |
| download | dotty-bfb328ff64dcfa103c91dd0cd55a617e370d6ef3.tar.gz dotty-bfb328ff64dcfa103c91dd0cd55a617e370d6ef3.tar.bz2 dotty-bfb328ff64dcfa103c91dd0cd55a617e370d6ef3.zip | |
Make ThisTypes take TypeRefs instead of ClassSymbols
This avoids stale symbol errors and does not need the somewhat
unsystematic symbol rebinding of the last commit.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Checking.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Checking.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Checking.scala b/src/dotty/tools/dotc/typer/Checking.scala index 22129bde2..6ecfee4e3 100644 --- a/src/dotty/tools/dotc/typer/Checking.scala +++ b/src/dotty/tools/dotc/typer/Checking.scala @@ -119,7 +119,7 @@ object Checking { // global symbols when doing the cyclicity check. def isInteresting(prefix: Type): Boolean = prefix.stripTypeVar match { case NoPrefix => true - case ThisType(cls) => sym.owner.isClass && cls.isContainedIn(sym.owner) + case prefix: ThisType => sym.owner.isClass && prefix.cls.isContainedIn(sym.owner) case prefix: NamedType => !prefix.symbol.isStaticOwner && isInteresting(prefix.prefix) case SuperType(thistp, _) => isInteresting(thistp) case AndType(tp1, tp2) => isInteresting(tp1) || isInteresting(tp2) |