099 unknown store still refuses under the guard

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

Code

input.k

Actual compiler output

error[KORU161]: std/store:insert: unknown store 'typo' - no std/store:new(typo) found
  --> tests/regression/600_STDLIB/690_STORE/690_099_unknown_store_still_refuses_under_the_guard/input.k:18:0

error[KORU161]: std/store:query(typo): unknown plural store - no std/store:new(typo, capacity: N) found (query reads a plural container's live rows)
  --> tests/regression/600_STDLIB/690_STORE/690_099_unknown_store_still_refuses_under_the_guard/input.k:21:0

Must contain:

std/store:insert: unknown store 'typo'

Flows

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

Test Configuration

MUST_ERROR