aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Symbols.scala
diff options
context:
space:
mode:
authorDmitry Petrashko <dmitry.petrashko@gmail.com>2014-03-03 17:23:15 +0100
committerDmitry Petrashko <dmitry.petrashko@gmail.com>2014-03-03 17:23:15 +0100
commit18cf5d280e3f63213fd6bddbe8e1ed5b5d40b595 (patch)
tree29ba57c7469eb5b53eb1159238ef2778d58db76b /src/dotty/tools/dotc/core/Symbols.scala
parent92a4fefe58cfe4c1bcccc8f98183079a553d477a (diff)
downloaddotty-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.scala6
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