017 catchall end to end

✓ Passing This code compiles and runs correctly.

Code

// ============================================================================
// Test 066: Catch-All |? End-to-End
// Verifies that |? catch-all correctly emits switch cases for unhandled
// optional branches and can observe them via metatype synthesis.
// ============================================================================

// Event with one required branch and two optional branches
~event process { value: u32 }
| success { result: u32 }
| ?warning { msg: []const u8 }
| ?info { details: []const u8 }

// Test: Handle only required branch, catch-all for optional branches
~process(value: 42)
| success _ |> _
|? |> _
input.kz

Test Configuration

Expected Behavior:

COMPILE_ONLY