358 construct glyph in interceptor arm

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

Code

input.k

Actual compiler output

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

Test Configuration

MUST_ERROR