029 nested chain base handler is not a claim

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

Code

input.kz

Actual compiler output

error[KORU022]: branch 'ctx' must be handled but no continuation found
  --> tests/regression/200_COMPILER_FEATURES/220_FLOW_CHECKER/220_029_nested_chain_base_handler_is_not_a_claim/input.kz:27:0

error[KORU022]: branch 'failed' must be handled but no continuation found
  --> tests/regression/200_COMPILER_FEATURES/220_FLOW_CHECKER/220_029_nested_chain_base_handler_is_not_a_claim/input.kz:27:0

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

Backend must reject with:

CONTAINS KORU022
CONTAINS must be handled

Flows

flow ~stage-a click a branch to expand · @labels scroll to their anchor
stage-a (ctx: 2)

Test Configuration

MUST_ERROR