inner := ctxt &^ (fallthroughOk | finalSwitchCase | inTypeSwitch)

	switch s := s.(type) {
	case *syntax.EmptyStmt:
		// ignore

	case *syntax.DeclStmt:
		check.declStmt(s.DeclList)

	case *syntax.LabeledStmt:
		check.hasLabel = true
		check.stmt(ctxt, s.Stmt)

	case *syntax.ExprStmt:
		// spec: "With the exception of specific built-in functions,
		// function and method calls and receive operations can appear

			// Go spec: The scope of a label is the body of the function
			// in which it is declared and excludes the body of any nested
			// function.
			stmt := &ast.LabeledStmt{Label: label, Colon: colon, Stmt: p.parseStmt()}
			return stmt, false
		}
		// The label declaration typically starts at x[0].Pos(), but the label

		{"KeyValueExpr", Type, 0},
		{"KeyValueExpr.Colon", Field, 0},
		{"KeyValueExpr.Key", Field, 0},
		{"KeyValueExpr.Value", Field, 0},
		{"LabeledStmt", Type, 0},
		{"LabeledStmt.Colon", Field, 0},
		{"LabeledStmt.Label", Field, 0},
		{"LabeledStmt.Stmt", Field, 0},
		{"Lbl", Const, 0},
		{"MapType", Type, 0},
		{"MapType.Key", Field, 0},
		{"MapType.Map", Field, 0},
		{"MapType.Value", Field, 0},

is performed before adding <code>x</code>.
</p>

<h2 id="Statements">Statements</h2>

<p>
Statements control execution.
</p>

<pre class="ebnf">
Statement =
	Declaration | LabeledStmt | SimpleStmt |
	GoStmt | ReturnStmt | BreakStmt | ContinueStmt | GotoStmt |
	FallthroughStmt | Block | IfStmt | SwitchStmt | SelectStmt | ForStmt |
	DeferStmt .

is performed before adding <code>x</code>.
</p>

<h2 id="Statements">Statements</h2>

<p>
Statements control execution.
</p>

<pre class="ebnf">
Statement =
	Declaration | LabeledStmt | SimpleStmt |
	GoStmt | ReturnStmt | BreakStmt | ContinueStmt | GotoStmt |
	FallthroughStmt | Block | IfStmt | SwitchStmt | SelectStmt | ForStmt |
	DeferStmt .

pkg go/ast, type KeyValueExpr struct, Key Expr
pkg go/ast, type KeyValueExpr struct, Value Expr
pkg go/ast, type LabeledStmt struct
pkg go/ast, type LabeledStmt struct, Colon token.Pos
pkg go/ast, type LabeledStmt struct, Label *Ident
pkg go/ast, type LabeledStmt struct, Stmt Stmt
pkg go/ast, type MapType struct
pkg go/ast, type MapType struct, Key Expr
pkg go/ast, type MapType struct, Map token.Pos