062 reject empty brace payload

✓ Passing This code compiles and runs correctly.

Code

// Test: Parser should reject empty braces {} in branch payloads
// Empty braces are meaningless - use void events (no branches) or identity syntax instead

const std = @import("std");

// WRONG: Empty braces in branch payload
// Should be either:
// - A void event: ~event done {} (no branches at all)
// - Identity syntax: | done SomeType
~event verify {}
| ok {}

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected compiler error

error[PARSE003]: empty braces in branch payload - remove braces for void branch or use identity syntax '| ok Type'
  --> tests/regression/200_COMPILER_FEATURES/210_PARSER/210_062_reject_empty_brace_payload/input.kz:11:4
    |
 11 | | ok {}
    |    ^

Test Configuration

Expected Error:

empty braces

← 061 reject zig struct syntax 063 reject single field braces →