path: root/test/files/neg/t7984.scala

class Test {
  type ListInt = List[Int]
  List[Any]("") match {
    case is: ListInt => is.head
    case _ =>
  }
}