097 required terminal must be handled

✓ Passing Passing: the compiler rejects this program as expected.

Code

input.kz

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:22:0

❌ Compiler coordination error: Incomplete branch coverage
   (set KORU_BACKEND_TRACE=1 for the backend return trace)

Must fail at runtime:

Program must error when executed.

Error output must contain

KORU022

Flows

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

Test Configuration

MUST_ERROR