path: root/test/files/pos/bug1203.scala

case class ant(t: String) extends Annotation
object Test {
   def main(args: Array[String]): Unit = {
     val a: scala.xml.NodeSeq @ant("12") = Nil
     println(a)
   }
}