path: root/test/files/run/t5225_2.check

{
  def foo(@new cloneable() x: Int): String = "";
  ()
}