summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2008-02-22 11:00:27 +0000
committerMartin Odersky <odersky@gmail.com>2008-02-22 11:00:27 +0000
commitfb914227c50c4175ef1603b99ae4bc05839b4e51 (patch)
treee30e223a5c7cd642354dbd10c92d393cad5bc772 /src
parent2f0b80463d442fcfc1074465eb383d95efaf39e3 (diff)
downloadscala-fb914227c50c4175ef1603b99ae4bc05839b4e51.tar.gz
scala-fb914227c50c4175ef1603b99ae4bc05839b4e51.tar.bz2
scala-fb914227c50c4175ef1603b99ae4bc05839b4e51.zip
fixed #528
Diffstat (limited to 'src')
-rw-r--r--src/compiler/scala/tools/nsc/transform/Erasure.scala2
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
}