112 generic struct nested

✗ Failing This test is currently failing.

Failed: backend-exec

Error Details

output_emitted.zig:40:14: error: expected ';' after declaration

Failure Output

🎯 Compiler coordination: Passes: 15 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:40:14: error: expected ';' after declaration
    const box#i64 = struct {
             ^~~~~~~~~~~~~~~

Code

// RED PIN (type-system design walk, 2026-07-06/07). REWRITTEN from the
// dead `~struct(Result<T, E>)` generation. This pin marks the OPEN
// composition question: a stamped name whose parameter is ITSELF a
// stamped name needs a grouping spelling — flat `#` repetition is
// ambiguous (`wrapper#box#i64`: box#i64 in wrapper, or box-of-i64-in-
// wrapper-of-box?). PROVISIONAL spelling uses parens for grouping;
// the ruling (2026-07-06 walk) deliberately deferred this until demand
// piles up — this pin IS a demand marker, per the registry baton's
// naive-now-registry-when-it-piles-up direction.

~import std/types

const std = @import("std");

~std/types:struct(box#i64) {
    value: i64,
}

~std/types:struct(wrapper#(box#i64)) {
    inner: box#i64,
}

~event test-nested {}

~proc test-nested|zig {
    const inner = @"box#i64"{ .value = 77 };
    const wrapped = @"wrapper#(box#i64)"{ .inner = inner };
    std.debug.print("Nested value: {d}\n", .{wrapped.inner.value});
}

~test-nested()

input.kz

Must contain:

Nested value: 77

Flows

flow ~struct click a branch to expand · @labels scroll to their anchor

struct (expr: box#i64, source: value: i64,)

flow ~struct click a branch to expand · @labels scroll to their anchor

struct (expr: wrapper#(box#i64), source: inner: box#i64,)

flow ~test-nested click a branch to expand · @labels scroll to their anchor

test-nested

Test Configuration

MUST_RUN

← 111 generic struct two params 113 generic struct with primitives →