Fix underlyingIfRepeated always assuming Scala repeated.

1 files changed, 5 insertions, 2 deletions

diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala
index bf756facf..3808cb17c 100644
--- a/src/dotty/tools/dotc/core/TypeApplications.scala
+++ b/src/dotty/tools/dotc/core/TypeApplications.scala
@@ -283,9 +283,12 @@ class TypeApplications(val self: Type) extends AnyVal {
   /** If this is repeated parameter type, its underlying Seq type,
    *  or, if isJava is true, Array type, else the type itself.
    */
-  def underlyingIfRepeated(isJava: Boolean)(implicit ctx: Context): Type =
-    if (self.isRepeatedParam) translateParameterized(defn.RepeatedParamClass, defn.SeqClass)
+  def underlyingIfRepeated(isJava: Boolean)(implicit ctx: Context): Type = {
+    if (self.isRepeatedParam)
+      if (isJava) translateParameterized(defn.RepeatedParamClass, defn.ArrayClass)
+      else translateParameterized(defn.RepeatedParamClass, defn.SeqClass)
     else self
+  }
 
   /** If this is an encoding of a (partially) applied type, return its arguments,
    *  otherwise return Nil.