✓
Passing This code compiles and runs correctly.
Code
// Test: Optional branches require catch-all when not explicitly handled
//
// MUST_FAIL
//
// Optional branches (| ?name) don't need individual handling,
// but if ANY are unhandled, a catch-all (|? |> _) is REQUIRED.
// This prevents silent data loss.
//
// Expected: Compile error about missing catch-all for optional branches
const std = @import("std");
~event process { value: u32 }
| success u32
| ?warning []const u8
| ?debug []const u8
~proc process {
if (value > 100) {
return .{ .warning = "Large value" };
}
return .{ .success = value * 2 };
}
// This should FAIL - optional branches exist but no catch-all
~process(value: 10)
| success |> _
// Missing: |? |> _
Error Verification
Actual Compiler Output
error[KORU030]: branch 'success' has payload but no binding
--> structural_check:27:0
❌ Compiler coordination error: Incomplete branch coverage
error: CompilerCoordinationFailed
/Users/larsde/src/koru/tests/regression/200_COMPILER_FEATURES/220_FLOW_CHECKER/220_010_optional_branch_catchall_required/backend.zig:9362:17: 0x10473a4af in emit (backend)
return error.CompilerCoordinationFailed;
^
/Users/larsde/src/koru/tests/regression/200_COMPILER_FEATURES/220_FLOW_CHECKER/220_010_optional_branch_catchall_required/backend.zig:9446:28: 0x10473b2b7 in main (backend)
const generated_code = try RuntimeEmitter.emit(compile_allocator, final_ast);
^Test Configuration
MUST_FAIL