174 effect unguarded arm not last unreachable

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

Code

input.kz

Actual compiler output

error[KORU053]: branch 'tick': the unguarded handler is #1 of 2, so the 1 when-guarded handler(s) after it are unreachable - an unguarded arm is the else of an exclusive group and must come last
  --> tests/regression/400_RUNTIME_FEATURES/400_174_effect_unguarded_arm_not_last_unreachable/input.kz:38:0

❌ Compiler coordination error: Flow validation failed
   (set KORU_BACKEND_TRACE=1 for the backend return trace)

Must fail at runtime with:

CONTAINS unreachable

Flows

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

Test Configuration

MUST_ERROR