path: root/test/files/run/t7985.scala

object Test extends App {
  Array(1) match { case _: Array[scala.Int] => }
}