Review whether there needs to be some syncing up between §11.2.2 and §9.2.9 *Local variables*, §9.4 *Definite assignment*

[Nigel-Ecma]

This comment in #873, which follows the one quoted below, is part of this issue as well.

---

I think there probably needs to be some syncing up between here and §9.2.9 Local variables, §9.4 Definite assignment, including the lifetime & scope of the variable – hardly anything is stated about these here:

• Line 90 below states the variable is assigned on a match
• Informatively line 121 states for the example that after the if the variable is in scope but not definitely assigned, there is no else in the example so the definite assignment status there is not covered.

Originally posted by @Nigel-Ecma in #873 (comment)