021 duplicate branch names

✓ Passing This code compiles and runs correctly.

Code

// Test: Duplicate branch names in event declaration
// Parser catches duplicate branch names

~event foo { x: i32 }
| done
| done

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected compiler error

error[PARSE003]: duplicate branch name 'done'
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_021_duplicate_branch_names/input.kz:6:1
    |
  6 | | done
    | ^

← 013 ambiguous override error 022 double pipe branch →