tions must have a return statement that returns an appropriately typed expression. If the expression in a return statement does not have the same type as the return type declared for the function, a compile-time error is raised.</p>
<p>Void functions may use <code>return</code> only without an argument, but return statements are not mandatory.</p>
<section id="return-guarantee-required" class="level3 unnumbered">
<h3 class="unnumbered anchored" data-anchor-id="return-guarantee-required">Return guarantee req