048 reject for terminal each

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

Code

input.kz

Actual compiler output

error[KORU120]: for: `each` is an effect arm — write `! each`, not `| each` (the traversal delivers through `!` handlers, `|` arms are for the terminal axes)
  --> generated:0:0

Must fail at runtime:

Program must error when executed.

Error output must contain

`each` is an effect arm

Flows

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

Test Configuration

MUST_ERROR