130 record ctor names undeclared field

✓ Passing Passing: the compiler rejects this program as expected.

Code

// PINS: a record-payload branch constructor names each declared payload
// field, no others. `| ok { a: i64, b: i64 }` declares two fields;
// `=> ok { c: 3, d: 4 }` constructs two the declaration does not have. The
// name set is a membership test over the branch's declared fields — the same
// facts checkImplMatchesDecl already reads for the branch NAME — but the
// field set was never compared, so the disagreement reached Zig as
// `no field named 'c'` against output_emitted.zig.
//
// The declared law is already on the books: payload fields may not carry
// defaults because "every constructor supplies the field explicitly", and
// the destructure side checks names against the payload as KORU036
// (210_147). This pin is the construct-side twin of 510_114: a name the
// declaration does not carry cannot be produced, whether the name is a
// branch or one of its fields.
import std/io

pub tor pick { x: i64 }
| ok { a: i64, b: i64 }
| bad i64

pick => ok { c: 3, d: 4 }

pick(x: 1)
| ok o |> std/io:print.ln("{{ o.a:d }}{{ o.b:d }}")
| bad _ |> _

input.k

Actual compiler output

error[KORU030]: constructor field 'c' is not a field of branch 'ok' (payload fields: a, b)
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_130_record_ctor_names_undeclared_field/input.k:21:1
    |
 21 | pick => ok { c: 3, d: 4 }
    | ^
  hint: a record-payload constructor supplies every declared field and no others

error[KORU030]: constructor field 'd' is not a field of branch 'ok' (payload fields: a, b)
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_130_record_ctor_names_undeclared_field/input.k:21:1
    |
 21 | pick => ok { c: 3, d: 4 }
    | ^
  hint: a record-payload constructor supplies every declared field and no others

error[KORU030]: branch 'ok' declares payload field 'a' the constructor does not supply — every constructor supplies the field explicitly
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_130_record_ctor_names_undeclared_field/input.k:21:1
    |
 21 | pick => ok { c: 3, d: 4 }
    | ^
  hint: add 'a: <value>' to the constructor

error[KORU030]: branch 'ok' declares payload field 'b' the constructor does not supply — every constructor supplies the field explicitly
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_130_record_ctor_names_undeclared_field/input.k:21:1
    |
 21 | pick => ok { c: 3, d: 4 }
    | ^
  hint: add 'b: <value>' to the constructor

Frontend must reject with:

NOT_CONTAINS output_emitted.zig
CONTAINS KORU030
CONTAINS is not a field of branch 'ok'

Flows

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

pick (x: 1)

Test Configuration

MUST_ERROR

← 128 ampersand borrow requires mutable 131 nested record ctor names undeclared field →