274 malformed inline record field type

✓ Passing This code compiles and runs correctly.

Code

// PINS: a malformed inline record field type (`{ x: i64, x: i64 }` binds
// `x` twice) refuses PARSE003 in parseShape, at the field's line, before
// emission — the emitter treats a parseFields failure on a `{`-type as a
// broken parser contract rather than pasting the text verbatim into Zig.
~import std/io

~tor wrap { user: { x: i64, x: i64 } }
~proc wrap|zig {
    const std = @import("std");
    std.debug.print("{d}\n", .{user.x});
}

~wrap(user: { x: 5 })

input.kz

Frontend must reject with:

CONTAINS error[PARSE003]
CONTAINS malformed inline record field type
CONTAINS bound twice
ERROR_AT 7
NOT_CONTAINS output_emitted.zig

Flows

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

wrap (user: { x: 5 })

← 273 destructure dup across nesting refused 275 same line missing comma refused →