diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-03-03 17:23:15 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-03-03 17:23:15 +0100 |
commit | 18cf5d280e3f63213fd6bddbe8e1ed5b5d40b595 (patch) | |
tree | 29ba57c7469eb5b53eb1159238ef2778d58db76b /src/dotty/tools/dotc/core/Symbols.scala | |
parent | 92a4fefe58cfe4c1bcccc8f98183079a553d477a (diff) | |
download | dotty-18cf5d280e3f63213fd6bddbe8e1ed5b5d40b595.tar.gz dotty-18cf5d280e3f63213fd6bddbe8e1ed5b5d40b595.tar.bz2 dotty-18cf5d280e3f63213fd6bddbe8e1ed5b5d40b595.zip |
More informative asserts.
Diffstat (limited to 'src/dotty/tools/dotc/core/Symbols.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Symbols.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/core/Symbols.scala b/src/dotty/tools/dotc/core/Symbols.scala index 5bba99c9c..408142ede 100644 --- a/src/dotty/tools/dotc/core/Symbols.scala +++ b/src/dotty/tools/dotc/core/Symbols.scala @@ -355,8 +355,8 @@ object Symbols { final def isType(implicit ctx: Context): Boolean = denot.isType final def isClass: Boolean = isInstanceOf[ClassSymbol] - final def asTerm(implicit ctx: Context): TermSymbol = { assert(isTerm); asInstanceOf[TermSymbol] } - final def asType(implicit ctx: Context): TypeSymbol = { assert(isType); asInstanceOf[TypeSymbol] } + final def asTerm(implicit ctx: Context): TermSymbol = { assert(isTerm, s"asTerm called on not-a-Term $this" ); asInstanceOf[TermSymbol] } + final def asType(implicit ctx: Context): TypeSymbol = { assert(isType, s"isType called on not-a-Type $this"); asInstanceOf[TypeSymbol] } final def asClass: ClassSymbol = asInstanceOf[ClassSymbol] /** A unique, densely packed integer tag for each class symbol, -1 @@ -367,7 +367,7 @@ object Symbols { /** This symbol entered into owner's scope (owner must be a class). */ final def entered(implicit ctx: Context): this.type = { - assert(this.owner.isClass) // !!! DEBUG + assert(this.owner.isClass, s"symbol ($this) entered the scope of non-class owner ${this.owner}") // !!! DEBUG this.owner.asClass.enter(this) if (this is Module) this.owner.asClass.enter(this.moduleClass) this |