113 effect handler cannot recurse producer

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

Code

input.kz

Actual compiler output

error[KORU022]: branch 'step' must be handled but no effect handler found
  --> tests/regression/400_RUNTIME_FEATURES/400_113_effect_handler_cannot_recurse_producer/input.kz:35:0

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

Must fail at runtime with:

CONTAINS error[KORU022]
CONTAINS must be handled

Flows

flow ~walk click a branch to expand · @labels scroll to their anchor
walk (n: 3)

Test Configuration

MUST_ERROR