264 lifecycle arm refuses ordinal and row

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

Code

input.k

Actual compiler output

error[KORU161]: std/store:new(rows): `[ordinal]n` on a `! inserted` arm - a lifecycle arm fires on ONE row's birth or death and has no traversal, so there is no position in a walk to name (this is not unimplemented; it is meaningless here). `[ordinal]` is a sweep request: `! query { [row]r, [ordinal]n }`
  --> tests/regression/600_STDLIB/690_STORE/690_264_lifecycle_arm_refuses_ordinal_and_row/input.k:16:0

Compiler must reject:

Compilation must fail with a diagnostic.

Flows

flow ~new click a branch to expand · @labels scroll to their anchor
new (rows, capacity: 4, source: v: i64)
flow ~insert click a branch to expand · @labels scroll to their anchor
insert (rows, source: v: 1)

Test Configuration

MUST_ERROR