✓
Passing Passing: the compiler rejects this program as expected.
Code
// Two `std/tree:node` declarations of one name in one home collide the same
// way two protos do (KORU030).
import std/tree
std/tree:node(Node) { item: i64 }
std/tree:node(Node) { item: i64, left: ?Node }
Actual compiler output
error[KORU030]: duplicate registry entry 'Node' — a name is registered once per home, whatever its kind (proto, terminal, foreign, tree node); the declaration at tests/regression/600_STDLIB/682_TREE/682_003_two_nodes_same_name/input.k:7 collides with the prior registration at tests/regression/600_STDLIB/682_TREE/682_003_two_nodes_same_name/input.k:6
--> tests/regression/600_STDLIB/682_TREE/682_003_two_nodes_same_name/input.k:7:1Must contain:
duplicate registry entryFlows
flow ~node click a branch to expand · @labels scroll to their anchor
node (Node, source: item: i64)
flow ~node click a branch to expand · @labels scroll to their anchor
node (Node, source: item: i64, left: ?Node)
Test Configuration
MUST_ERROR