097 required terminal must be handled

✓ Passing This code compiles and runs correctly.

Code

input.kz

Must fail at runtime:

Program must error when executed.

Error Verification

Actual Compiler Output

error[KORU022]: branch 'done' must be handled but no continuation found
  --> tests/regression/400_RUNTIME_FEATURES/400_097_required_terminal_must_be_handled/input.kz:23:0

❌ Compiler coordination error: Incomplete branch coverage
error: CompilerCoordinationFailed
???:?:?: 0x100d679d3 in _backend.RuntimeEmitter.emit (???)
???:?:?: 0x100d68b63 in _backend.main (???)

Flows

flow ~run click a branch to expand · @labels scroll to their anchor
run

Test Configuration

MUST_FAIL

Expected Error:

KORU022