364 query unclaimed done arm refused

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

Code

input.k

Actual compiler output

error[KORU161]: std/store:query(rows): the 'done' branch is not one a query site answers — `! query <row>`, `! first <row>` and `| none` are the site's arms; an arm the site does not claim can never run
  --> tests/regression/600_STDLIB/690_STORE/690_364_query_unclaimed_done_arm_refused/input.k:27:1

Error output must contain

'done'

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)
flow ~query click a branch to expand · @labels scroll to their anchor
query (rows)

Test Configuration

MUST_ERROR LANGUAGES: zig cs