Documentation for Switch, Return, Throw and Type syntax nodes

CodeGeneration/Sources/SyntaxSupport/DeclNodes.swift

@@ -2171,6 +2171,24 @@ public let DECL_NODES: [Node] = [
     kind: .returnClause,
     base: .syntax,
     nameForDiagnostics: nil,
+    documentation: """
+      A clause that specifies the return type of a function or closure.
+
+      Written as:
+      ```swift
+      -> <type>
+      ```
+
+      ### Examples
+
+      ```swift
+      func f() -> Int { }
+      ```
+
+      ```swift
+      let g: () -> String = { "hello" }
+      ```
+      """,
     children: [
       Child(
         name: "arrow",
@@ -2437,6 +2455,20 @@ public let DECL_NODES: [Node] = [
     kind: .typeInitializerClause,
     base: .syntax,
     nameForDiagnostics: nil,
+    documentation: """
+      A clause that specifies the underlying type of `typealias` or `associatedtype` declaration.
+
+      Written as:
+      ```swift
+      = <type>
+      ```
+
+      ### Examples
+
+      ```swift
+      typealias MyInt = Int
+      ```
+      """,
     children: [
       Child(
         name: "equal",

CodeGeneration/Sources/SyntaxSupport/ExprNodes.swift

@@ -1903,6 +1903,24 @@ public let EXPR_NODES: [Node] = [
     kind: .switchCaseLabel,
     base: .syntax,
     nameForDiagnostics: nil,
+    documentation: """
+      A label that introduces one or more cases in a switch statement.
+
+      Written as:
+      ```swift
+      case <items>:
+      ```
+
+      ### Examples
+
+      ```swift
+      case 1:
+      ```
+
+      ```swift
+      case 1, 2, 3:
+      ```
+      """,
     children: [
       Child(
         name: "caseKeyword",
@@ -1930,6 +1948,25 @@ public let EXPR_NODES: [Node] = [
     kind: .switchCase,
     base: .syntax,
     nameForDiagnostics: "switch case",
+    documentation: """
+      A single case within a `switch` statement.
+
+      A switch case consists of a label (`case` or `default`),
+      an optional `@unknown` attribute, and the statements
+      that are executed when the case is matched.
+
+      ### Examples
+
+      ```swift
+      case 1:
+        print("one")
+      ```
+
+      ```swift
+      default:
+        print("other")
+      ```
+      """,
     parserFunction: "parseSwitchCase",
     traits: ["WithStatements"],
     children: [
@@ -1969,6 +2006,15 @@ public let EXPR_NODES: [Node] = [
     kind: .switchDefaultLabel,
     base: .syntax,
     nameForDiagnostics: nil,
+    documentation: """
+      The default label is executed when none of the `case` patterns
+      match the value being switched over.
+
+      Written as:
+      ```swift
+      default:
+      ```
+      """,
     children: [
       Child(
         name: "defaultKeyword",

CodeGeneration/Sources/SyntaxSupport/PatternNodes.swift

@@ -181,6 +181,23 @@ public let PATTERN_NODES: [Node] = [
     kind: .typeAnnotation,
     base: .syntax,
     nameForDiagnostics: "type annotation",
+    documentation: """
+      A type annotation that explicitly specifies the type of a value or pattern.
+
+      Written as a colon followed by a type:
+      ```swift
+      <pattern>: <type>
+      ```
+
+      ### Examples
+
+      ```swift
+      let count: Int
+      ```
+      ```swift
+      let point: (x: Int, y: Int)
+      ```
+      """,
     children: [
       Child(
         name: "colon",

CodeGeneration/Sources/SyntaxSupport/StmtNodes.swift

@@ -493,6 +493,18 @@ public let STMT_NODES: [Node] = [
     kind: .returnStmt,
     base: .stmt,
     nameForDiagnostics: "'return' statement",
+    documentation: """
+      A statement that exits a function or closure and optionally returns a value.
+
+      Written as:
+      ```swift
+      return
+      ```
+
+      ```swift
+      return <expr>
+      ```
+      """,
     children: [
       Child(
         name: "returnKeyword",
@@ -510,6 +522,15 @@ public let STMT_NODES: [Node] = [
     kind: .throwStmt,
     base: .stmt,
     nameForDiagnostics: "'throw' statement",
+    documentation: """
+      A statement that throws an error.
+
+      Written as:
+
+      ```swift
+      throw <expr>
+      ```
+      """,
     children: [
       Child(
         name: "throwKeyword",