140 type with const

✓ Passing This code compiles and runs correctly.

Code

// RED PIN (type-system design walk, 2026-07-06/07). REWRITTEN minus
// the dead `Config<T>`/`~type` grammar and the dropped `| as` const
// form. Integration intent kept and sharpened to the registry design:
// `const` REGISTERS its symbols (name -> type-ref + comptime value)
// into the registry's symbols table instead of only splicing text —
// the "const doesn't store its symbols" gap named by Lars 2026-07-06.
// The observable here is still just the value flowing; the pin's
// comment carries the registration intent until a query surface
// exists to assert it directly (see 340_007).

~import std/types
~import std/io

~std/types:struct(Config) {
    value: i64,
    enabled: bool,
}

~const { threshold: 42 }

~std/io:print.ln("Value: {{ threshold:d }}")

input.kz

Actual

Value: 42

Must contain:

Value: 42

Flows

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

struct (expr: Config, source: value: i64, enabled: bool,)

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

const (source: threshold: 42)

flow ~print.ln click a branch to expand · @labels scroll to their anchor

print.ln (expr: "Value: {{ threshold:d }}")

Test Configuration

MUST_RUN

← 133 instantiation param mismatch 141 type with capture →