SI-7088 Array crasher in erasure.

The usual business where half our pattern matches are missing
half the necessary cases.

1 files changed, 13 insertions, 0 deletions

diff --git a/test/files/run/t7088.scala b/test/files/run/t7088.scala
new file mode 100644
index 0000000000..5f0114b940
--- /dev/null
+++ b/test/files/run/t7088.scala
@@ -0,0 +1,13 @@
+object Test {
+  type Tag[X] = {type Tag = X}
+  type TaggedArray[T] = Array[T] with Tag[Any]
+
+  def method[T: scala.reflect.ClassTag](a: TaggedArray[T], value: T) {
+    a.update(0, value)
+    a foreach println
+  }
+
+  def main(args: Array[String]): Unit = {
+    method(Array(1, 2).asInstanceOf[TaggedArray[Int]], 1)
+  }
+}