diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/Definitions.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Definitions.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Definitions.scala b/src/dotty/tools/dotc/core/Definitions.scala index 20dd899f1..14baa0b96 100644 --- a/src/dotty/tools/dotc/core/Definitions.scala +++ b/src/dotty/tools/dotc/core/Definitions.scala @@ -394,7 +394,8 @@ class Definitions { object ArrayType { def apply(elem: Type)(implicit ctx: Context) = - ArrayClass.typeRef.appliedTo(elem :: Nil) + if (ctx.erasedTypes) JavaArrayType(elem) + else ArrayClass.typeRef.appliedTo(elem :: Nil) def unapply(tp: Type)(implicit ctx: Context) = tp.dealias match { case at: RefinedType if (at isRef ArrayClass) && at.argInfos.length == 1 => Some(at.argInfos.head) case _ => None |