123 instantiate nested generic

✗ Failing This test is currently failing.

Failed: frontend

Failure Output

error[PARSE003]: single continuation branch 'made' carrying a payload is a one-variant tag union — declare the single output as a bare return instead: `-> <type>`
  --> tests/regression/000_CORE_LANGUAGE/035_TYPE_SYSTEM/030_123_instantiate_nested_generic/input.kz:21:1
    |
 21 | ~event make-wrapped {}
    | ^

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 →