250 indexed read outside a write block

✓ Passing This code compiles and runs correctly.

Code

input.k

Actual

interp 7
indexed guard ok

Expected output

interp 7
indexed guard ok

Flows

flow ~new click a branch to expand · @labels scroll to their anchor
new (expr: cells, capacity: 4, source: v: i64)
flow ~new click a branch to expand · @labels scroll to their anchor
new (expr: head, source: h: -1[i64])
flow ~insert click a branch to expand · @labels scroll to their anchor
insert (expr: cells, source: v: 7)
flow ~print.ln click a branch to expand · @labels scroll to their anchor
print.ln (expr: "interp {{ cells[head.h].v:d }}")
flow ~if click a branch to expand · @labels scroll to their anchor
if (cells[head.h].v == 7)

Test Configuration

MUST_RUN