aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeComparer.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala')
-rw-r--r--src/dotty/tools/dotc/core/TypeComparer.scala8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala
index fda9667e9..c9c4595ca 100644
--- a/src/dotty/tools/dotc/core/TypeComparer.scala
+++ b/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -735,6 +735,12 @@ class TypeComparer(initctx: Context) extends DotClass {
false
}
compareClassInfo
+ case JavaArrayType(elem2) =>
+ def compareJavaArray = tp1 match {
+ case JavaArrayType(elem1) => isSubType(elem1, elem2)
+ case _ => fourthTry(tp1, tp2)
+ }
+ compareJavaArray
case _ =>
fourthTry(tp1, tp2)
}
@@ -773,6 +779,8 @@ class TypeComparer(initctx: Context) extends DotClass {
} || needsEtaLift(tp2, tp1) && tp2.testLifted(tp1.typeParams, isSubType(tp1, _))
case AndType(tp11, tp12) =>
isNewSubType(tp11, tp2) || isNewSubType(tp12, tp2)
+ case JavaArrayType(elem1) =>
+ tp2 isRef ObjectClass
case _ =>
false
}