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

class a { type X = Int }

object Test extends App {
  Array(1) match { case _: Array[a#X] => }
}