123 proc without matching event

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

Code

// A ~proc implements the tor/event of the same path; with no declaration to
// pair with, the shape checker must name the orphan and locate it (KORU050),
// not die as a bare "Compiler coordination error: Proc without matching event".
~proc orphan|zig {
    _ = 1;
}

input.kz

Actual compiler output

error[KORU050]: proc 'input:orphan' has no matching event declaration — a proc implements the tor/event of the same path; declare it or remove the proc
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_123_proc_without_matching_event/input.kz:4:0

❌ Compiler coordination error: Proc without matching event
   (set KORU_BACKEND_TRACE=1 for the backend return trace)

Must fail at runtime:

Program must error when executed.

Error output must contain

proc 'input:orphan' has no matching event declaration

Test Configuration

MUST_ERROR

← 122 annotation comma separator 124 unhandled effect branch →