✓
Passing Passing: the compiler rejects this program as expected.
Code
// Test 355_004: Optional Branches - Shape Validation Still Applies
//
// Verifies:
// 1. Optional branches are still subject to shape checking
// 2. "Optional" means "can be omitted", NOT "can be misused"
// 3. Handling a nonexistent branch name = compile error
~import std/io
// Event with required + optional branch
~tor process { value: u32 }
| success u32 // REQUIRED
| ?warning string // OPTIONAL
~proc process|zig {
if (value > 100) {
return .{ .warning = "Value too large" };
}
return .{ .success = value * 2 };
}
// Handler references a branch that doesn't exist on this event
// "nonexistent" is not a branch of process — should fail compilation
~process(value: 150)
| success _ |> std/io:print.ln("OK")
| nonexistent _ |> std/io:print.ln("BAD")
Actual compiler output
error[KORU021]: event 'input:process' has no branch 'nonexistent' (available: success, warning)
--> tests/regression/300_ADVANCED_FEATURES/355_OPTIONAL_BRANCHES/355_004_shape_error/input.kz:26:0
❌ Compiler coordination error: Incomplete branch coverage
(set KORU_BACKEND_TRACE=1 for the backend return trace)Backend must reject with:
CONTAINS error[KORU021]
CONTAINS has no branch 'nonexistent'Flows
flow ~process click a branch to expand · @labels scroll to their anchor
process (value: 150)
Test Configuration
MUST_ERROR