072 effect branch simple decl

✓ Passing This code compiles and runs correctly.

Code

// Test 210_072: simple effect-branch event declaration.
// `! each` (effect) precedes `| done` (terminal) per ordering rule.

~pub event for { start: usize, end: usize }
! each usize
| done usize
input.kz

Expected AST

{
  "module_annotations": [],
  "items": [
    {
      "type": "import_decl",
      "path": "$std/compiler",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_072_effect_branch_simple_decl/input.kz",
        "line": 2,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_072_effect_branch_simple_decl/input.kz",
        "line": 2,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_072_effect_branch_simple_decl/input.kz",
        "line": 3,
        "col": 0
      }
    },
    {
      "type": "event_decl",
      "name": "for",
      "path": [
        "for"
      ],
      "module": "input",
      "input": {
        "fields": [
          {
            "name": "start",
            "type": "usize",
            "is_source": false,
            "is_file": false,
            "is_embed_file": false,
            "is_expression": false,
            "is_invocation_meta": false,
            "phantom": null
          },
          {
            "name": "end",
            "type": "usize",
            "is_source": false,
            "is_file": false,
            "is_embed_file": false,
            "is_expression": false,
            "is_invocation_meta": false,
            "phantom": null
          }
        ]
      },
      "branches": [
        {
          "name": "each",
          "kind": "effect",
          "resume": null,
          "is_optional": false,
          "payload": {
            "fields": [
              {
                "name": "__type_ref",
                "type": "usize",
                "is_source": false,
                "is_file": false,
                "is_embed_file": false,
                "is_expression": false,
                "is_invocation_meta": false,
                "phantom": null
              }
            ]
          }
        },
        {
          "name": "done",
          "kind": "terminal",
          "resume": null,
          "is_optional": false,
          "payload": {
            "fields": [
              {
                "name": "__type_ref",
                "type": "usize",
                "is_source": false,
                "is_file": false,
                "is_embed_file": false,
                "is_expression": false,
                "is_invocation_meta": false,
                "phantom": null
              }
            ]
          }
        }
      ],
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_072_effect_branch_simple_decl/input.kz",
        "line": 8,
        "col": 0
      }
    }
  ]
}

Test Configuration

PARSER_TEST
← 071 reject terminal before effect at dispatch 073 effect branch only no terminal →