diff options
author | Martin Odersky <odersky@gmail.com> | 2008-02-22 11:00:27 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2008-02-22 11:00:27 +0000 |
commit | fb914227c50c4175ef1603b99ae4bc05839b4e51 (patch) | |
tree | e30e223a5c7cd642354dbd10c92d393cad5bc772 | |
parent | 2f0b80463d442fcfc1074465eb383d95efaf39e3 (diff) | |
download | scala-fb914227c50c4175ef1603b99ae4bc05839b4e51.tar.gz scala-fb914227c50c4175ef1603b99ae4bc05839b4e51.tar.bz2 scala-fb914227c50c4175ef1603b99ae4bc05839b4e51.zip |
fixed #528
-rw-r--r-- | src/compiler/scala/tools/nsc/transform/Erasure.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/transform/Erasure.scala b/src/compiler/scala/tools/nsc/transform/Erasure.scala index 3b66e87e39..d58213f18b 100644 --- a/src/compiler/scala/tools/nsc/transform/Erasure.scala +++ b/src/compiler/scala/tools/nsc/transform/Erasure.scala @@ -74,6 +74,8 @@ abstract class Erasure extends AddInterfaces with typechecker.Analyzer { case TypeRef(pre, sym, args) => sym.isAbstractType && !(sym.owner hasFlag JAVA) || sym == ArrayClass && args.length == 1 && isGeneric(args.head) + case ExistentialType(tparams, restp) => + isGeneric(restp) case _ => false } |