[siracozmen01]

Problem

#257 writes a run inside one of a run at two running indexes. The value on the right of = is worked out before the place is written, so it can empty the array the place is in. Nothing held that case. bs[0].ss[i].xs[j] = emptied(bs), where emptied clears bs, is refused with K0604 "index 0 is outside an array of length 0" (a K0505 before #257). The reviewer of #257 asked for it as a row.

Change

tools/check-commands.sh: one RUNNING row beside #257's two, with struct S { tag: i32; xs: [i32; 3] }, struct B { a: i64; ss: [S; 2] }, i = 1 and j = 2, expecting index 0 is outside an array of length 0.

Verification

• sh tools/check-commands.sh $(find examples lib -name '*.kest' | sort) passes against a build of main: 218 wordings of 107 refusals seen.
• The program run alone says the same K0604 at line 21, column 5 under both kest and kest-debug.

Closes #262