023 branch without name

✓ Passing This code compiles and runs correctly.

Code

// Test: Branch without a name (empty identifier)
// Expected: Parser rejects with "invalid branch name"

~event foo { x: i32 }
| {}

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected compiler error

error[PARSE003]: invalid branch name '' - must be a valid identifier
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_023_branch_without_name/input.kz:4:1
    |
  4 | ~event foo { x: i32 }
    | ^

← 022 double pipe branch 030 missing colon in field →