359 construct glyph in watch arm

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

Code

input.k

Actual compiler output

error[KORU102]: std/store:watch(box): `=>` inside a `! n` arm has nothing to construct — the arm body grafts into a void synthesized unit, so a branch of the enclosing tor cannot be produced from in there. Hand the verdict out through the enclosing surface and branch after it returns.
  --> tests/regression/600_STDLIB/690_STORE/690_359_construct_glyph_in_watch_arm/input.k:13:0

error[KORU161]: std/store:watch(box): unknown store - no std/store:new(box) found
  --> tests/regression/600_STDLIB/690_STORE/690_359_construct_glyph_in_watch_arm/input.k:12:0

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

Compiler must reject:

Compilation must fail with a diagnostic.

Flows

flow ~new click a branch to expand · @labels scroll to their anchor
new (box, capacity: 4, source: n: i64, m: i64)
flow ~watch click a branch to expand · @labels scroll to their anchor
watch (box)
subflow ~work click a branch to expand · @labels scroll to their anchor
insert (box, source: n: 1, m: 2)
flow ~work click a branch to expand · @labels scroll to their anchor
work

Test Configuration

MUST_ERROR