ression[+In, ?Yield, ?Await] `)` Statement[?Yield, ?Await, ?Return]</ins>

  ForDeclaration[Yield, Await] :
    LetOrConst ForBinding[?Yield, ?Await]

  ForBinding[Yield, Await] :
    BindingIdentifier[?Yield, ?Await]
    BindingPattern[?Yield, ?Await]
</emu-grammar>
<emu-note>
  <p>This section is extended by Annex <emu-xref href="#sec-initializers-in-forin-statement-heads"></emu-xref>.</p>
</emu-note>

<emu-clause id="sec-iteration-statements-semantics">
  <h1>Semantics</h1>

  <!-- es6num="13.7.1.1" -->
