✓
Passing Passing: the compiler rejects this program as expected.
Code
// Mint args must name declared fields — the block is the node's whole shape,
// never a grab-bag (KORU184).
import std/tree
std/tree:node(Node) { item: i64 }
std/tree:mint(Node) { item: 1, bogus: 2 }: _ -> 0
Actual compiler output
error[KORU184]: std/tree:mint(Node): 'bogus' is not a field of Node — the declaration lists exactly the node's payload fields and edge slots
--> tests/regression/600_STDLIB/682_TREE/682_005_mint_unknown_field/input.k:8:1Must contain:
KORU184Flows
flow ~node click a branch to expand · @labels scroll to their anchor
node (Node, source: item: i64)
flow ~mint click a branch to expand · @labels scroll to their anchor
mint (Node, source: item: 1, bogus: 2)
Test Configuration
MUST_ERROR