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