{
  def foo(@new elidable(0) x: Int) = "";
  ()
}