✓
Passing Passing: the compiler rejects this program as expected.
Code
// A terminal symbol registers once. The first `float(Health)` mints the
// concept; a second one is not a merge, an override, or a second copy. It is
// a duplicate identity and must be refused loudly, with both sites named.
import std/proto
std/proto:f64(Health)
std/proto:f64(Health)
Actual compiler output
error[KORU030]: duplicate proto declaration 'Health' — a proto entry is registered once; the declaration at tests/regression/600_STDLIB/665_PROTO/665_003_duplicate_terminal_refused/input.k:7 collides with the prior registration at tests/regression/600_STDLIB/665_PROTO/665_003_duplicate_terminal_refused/input.k:6
--> tests/regression/600_STDLIB/665_PROTO/665_003_duplicate_terminal_refused/input.k:7:0
❌ Compiler coordination error: Phantom semantic validation failed
(set KORU_BACKEND_TRACE=1 for the backend return trace)Compiler must reject:
Compilation must fail with a diagnostic.
Flows
flow ~f64 click a branch to expand · @labels scroll to their anchor
f64 (expr: Health)
flow ~f64 click a branch to expand · @labels scroll to their anchor
f64 (expr: Health)
Test Configuration
MUST_ERROR