123 instantiate nested generic

✗ Failing This test is currently failing.

Failed: backend-exec

Error Details

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

Failure Output

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

Code

// RED PIN (type-system design walk, 2026-07-06/07). REWRITTEN from the
// dead nested-`~type` generation. Registry breakdown #3: a COMPOSED
// stamped type (parameter is itself stamped) crossing an event-
// signature boundary. Depends on the composition-grouping spelling
// pinned at 030_112 (PROVISIONAL parens) — this pin adds the
// cross-boundary half: the composed name must resolve to one registry
// identity at both sites.

~import std/types

const std = @import("std");

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

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

~event make-wrapped {}
| made wrapper#(box#i64)

~proc make-wrapped|zig {
    return .{ .made = @"wrapper#(box#i64)"{ .inner = .{ .value = 77 } } };
}

~event show-wrapped { w: wrapper#(box#i64) }

~proc show-wrapped|zig {
    std.debug.print("Nested value: {d}\n", .{w.inner.value});
}

~make-wrapped()
| made m |> show-wrapped(w: m)

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 ~make-wrapped click a branch to expand · @labels scroll to their anchor

make-wrapped

Test Configuration

MUST_RUN

← 122 instantiate two params 132 generic type mismatch →