path: root/tests/pending/run/t7985b.scala

class a { type X = Int }

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