defined as the partial order requirements set out by the <a href="/ref/spec">Go language specification</a>
for Go's control flow constructs as well as the <a href="/ref/spec#Order_of_evaluation">order of evaluation for expressions</a>.
</p>

<p>
A Go <i>program execution</i> is modeled as a set of goroutine executions,

<pre>
tmp := [n]T{x1, x2, … xn}
tmp[0 : n]
</pre>

<h4>Map literals</h4>

<p>
For map literals, each element must have a key.
For non-constant map keys, see the section on
<a href="#Order_of_evaluation">evaluation order</a>.
</p>

<h4>Elision of element types</h4>

<p>
Within a composite literal of array, slice, or map type <code>T</code>,