diff options
-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 } |