aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/transform/Erasure.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/dotty/tools/dotc/core/transform/Erasure.scala')
-rw-r--r--src/dotty/tools/dotc/core/transform/Erasure.scala8
1 files changed, 7 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/transform/Erasure.scala b/src/dotty/tools/dotc/core/transform/Erasure.scala
index d10415829..330442408 100644
--- a/src/dotty/tools/dotc/core/transform/Erasure.scala
+++ b/src/dotty/tools/dotc/core/transform/Erasure.scala
@@ -109,7 +109,13 @@ object Erasure {
else paramSignature(sym.info)
case tp: RefinedType =>
val parent = tp.parent
- if (parent.dealias.typeSymbol == defn.ArrayClass) paramSignature(eraseArray(tp))
+ if (parent.dealias.typeSymbol == defn.ArrayClass)
+ eraseArray(tp) match {
+ case tp1: RefinedType if tp1.parent.dealias.typeSymbol == defn.ArrayClass =>
+ paramSignature(tp1.parent) ++ "[]"
+ case tp1 =>
+ paramSignature(tp1)
+ }
else paramSignature(parent)
case tp: TypeProxy =>
paramSignature(tp.underlying)