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