diff options
author | Martin Odersky <odersky@gmail.com> | 2006-10-20 13:13:38 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-10-20 13:13:38 +0000 |
commit | f3f8f974bf0ebbe4746fbe83103566e71e8b1e7c (patch) | |
tree | bf813da8d086e55743d1ef93d874f82f5564d860 /src | |
parent | d1053b01cde71a47dec8038a2bd0d94ba5482819 (diff) | |
download | scala-f3f8f974bf0ebbe4746fbe83103566e71e8b1e7c.tar.gz scala-f3f8f974bf0ebbe4746fbe83103566e71e8b1e7c.tar.bz2 scala-f3f8f974bf0ebbe4746fbe83103566e71e8b1e7c.zip |
added assert
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/transform/Erasure.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/transform/Erasure.scala b/src/compiler/scala/tools/nsc/transform/Erasure.scala index bd6708750c..2f1b5e8df4 100644 --- a/src/compiler/scala/tools/nsc/transform/Erasure.scala +++ b/src/compiler/scala/tools/nsc/transform/Erasure.scala @@ -629,6 +629,7 @@ abstract class Erasure extends AddInterfaces with typechecker.Analyzer { if (fn.symbol == Any_asInstanceOf || fn.symbol == Any_asInstanceOfErased) fn match { case TypeApply(Select(qual, _), List(targ)) => + assert(qual.tpe != null, tree) if (qual.tpe <:< targ.tpe) atPos(tree.pos) { Typed(qual, TypeTree(qual.tpe)) } else tree } |