230 parallel for operand reads cell refused

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

Code

input.k

Actual compiler output

error[KORU212]: [parallel]for: `a.acc + @as(i64, @intCast(i)) * a.acc` is not a provably additive write to `a.acc` — partition needs a combine law (provable monoid); write `acc: a.acc + <expr>` (or `*` / `@rem` fold) or drop [parallel]
  --> tests/regression/400_RUNTIME_FEATURES/400_230_parallel_for_operand_reads_cell_refused/input.k:11:5

Error output must contain

is not a provably additive write

Flows

flow ~capture click a branch to expand · @labels scroll to their anchor
capture (source: acc: 1[i64])

Test Configuration

MUST_ERROR