diff options
author | Martin Odersky <odersky@gmail.com> | 2006-11-03 17:05:53 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-11-03 17:05:53 +0000 |
commit | 0f2a6c8bba950f1d6da437cb8c1348d3442c935f (patch) | |
tree | ab4b8c8756c1aba1420f09f066a2d5ed4b3a8826 | |
parent | bce3c6001fa9b361cae9019d5a4d96aaf6d7e103 (diff) | |
download | scala-0f2a6c8bba950f1d6da437cb8c1348d3442c935f.tar.gz scala-0f2a6c8bba950f1d6da437cb8c1348d3442c935f.tar.bz2 scala-0f2a6c8bba950f1d6da437cb8c1348d3442c935f.zip |
more info in an assert
-rw-r--r-- | src/compiler/scala/tools/nsc/transform/Erasure.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/transform/Erasure.scala b/src/compiler/scala/tools/nsc/transform/Erasure.scala index 2cb7cb2c05..7795fa67e2 100644 --- a/src/compiler/scala/tools/nsc/transform/Erasure.scala +++ b/src/compiler/scala/tools/nsc/transform/Erasure.scala @@ -377,7 +377,7 @@ abstract class Erasure extends AddInterfaces with typechecker.Analyzer { if (isUnboxedClass(tree.symbol.owner) && !isUnboxedClass(qual1.tpe.symbol)) tree.symbol = NoSymbol else if (qual1.tpe.isInstanceOf[MethodType] && qual1.tpe.paramTypes.isEmpty) { - assert(qual1.symbol.isStable); + assert(qual1.symbol.isStable, qual1.symbol); qual1 = Apply(qual1, List()) setPos qual1.pos setType qual1.tpe.resultType; } else if (!(qual1.isInstanceOf[Super] || (qual1.tpe.symbol isSubClass tree.symbol.owner))) qual1 = cast(qual1, tree.symbol.owner.tpe); |