1 files changed, 8 insertions, 0 deletions
diff --git a/test/files/pos/t7088.scala b/test/files/pos/t7088.scala
new file mode 100644
index 0000000000..de9d1b7040
--- /dev/null
+++ b/test/files/pos/t7088.scala
@@ -0,0 +1,8 @@
+object Example extends App {
+  type Tag[X] = {type Tag = X}
+  type TaggedArray[T] = Array[T] with Tag[Any]
+ 
+  def method[T: reflect.ClassTag](a: TaggedArray[T], value: T) {a.update(0, value)}
+ 
+  method(Array(1, 2).asInstanceOf[TaggedArray[Int]], 1)
+}