002 proto node name collision

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

Code

// A name registers once per home, whatever its kind — a proto terminal and a
// tree node sharing `Port` collide at declaration (KORU030).

import std/proto
import std/tree

std/proto:i64(Port)
std/tree:node(Port) { item: i64 }

input.k

Actual compiler output

error[KORU030]: duplicate registry entry 'Port' — 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_002_proto_node_name_collision/input.k:8 collides with the prior registration at tests/regression/600_STDLIB/682_TREE/682_002_proto_node_name_collision/input.k:7
  --> tests/regression/600_STDLIB/682_TREE/682_002_proto_node_name_collision/input.k:8:1

Must contain:

duplicate registry entry

Flows

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

i64 (expr: Port)

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

node (Port, source: item: i64)

Test Configuration

MUST_ERROR

← 001 node mint sum dispose 003 two nodes same name →