357 construct glyph in query arm

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

Code

input.k

Actual compiler output

error[KORU102]: std/store:query(box): `=>` inside a `! query` 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_357_construct_glyph_in_query_arm/input.k:21: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)
subflow ~work click a branch to expand · @labels scroll to their anchor
query (box)
flow ~insert click a branch to expand · @labels scroll to their anchor
insert (box, source: n: 1)

Test Configuration

MUST_ERROR