Changing the result type of a method, replacing a result type with void, or replacing void with a result type has the combined effect of deleting the old method or
constructor and adding a new method or constructor with the new result type or
newly void result (see §13.4.12).