Fix unapply for arrays after erasure

BarkingBad · BarkingBad · commit 418a84cfe988 · 2021-08-09T23:36:27.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/Definitions.scala b/compiler/src/dotty/tools/dotc/core/Definitions.scala
@@ -1018,6 +1018,7 @@ class Definitions {
       else ArrayType.appliedTo(elem :: Nil)
     def unapply(tp: Type)(using Context): Option[Type] = tp.dealias match {
       case AppliedType(at, arg :: Nil) if at.isRef(ArrayType.symbol) => Some(arg)
+      case JavaArrayType(tp) if ctx.erasedTypes => Some(tp)
       case _ => None
     }
   }

Original file line number	Diff line number	Diff line change
`@@ -1018,6 +1018,7 @@ class Definitions {`
`1018`	`1018`	`else ArrayType.appliedTo(elem :: Nil)`
`1019`	`1019`	`def unapply(tp: Type)(using Context): Option[Type] = tp.dealias match {`
`1020`	`1020`	`case AppliedType(at, arg :: Nil) if at.isRef(ArrayType.symbol) => Some(arg)`
	`1021`	`+ case JavaArrayType(tp) if ctx.erasedTypes => Some(tp)`
`1021`	`1022`	`case _ => None`
`1022`	`1023`	`}`
`1023`	`1024`	`}`