one or
both expressions is a variable, then that won’t be caught until
runtime.</p>
<pre class="stan"><code>{ { 1, 2, 3 }, m }  // runtime error if m not size 3</code></pre>
</div>
<div id="no-empty-array-expressions" class="section level4 unnumbered">
<h4>No empty array expressions</h4>
<p>Because there is no way to infer the type of the result, the empty
array expression (<code>{ }</code>) is not allowed. This does not sacrifice
expressive power, because a declaration is sufficient to initialize a
zero-