058 reject issue on input

✓ Passing This code compiles and runs correctly.

Code

const Connection = struct { id: i32 };
~pub event use-connection { conn: *Connection<connected!> }
~proc use-connection|zig {
}

input.kz

Must contain:

Cannot issue obligation

Error Verification

Expected Error Pattern

Cannot issue obligation

Actual Compiler Output ✓ Pattern matched

error[KORU033]: Cannot issue obligation '<connected!>' on input parameter (event: use-connection). Use '<!connected>' to consume an existing obligation, or remove the '!' suffix.
  --> phantom_semantic_check:4:0

❌ Compiler coordination error: Phantom semantic validation failed
error: CompilerCoordinationFailed
/Users/larsde/src/koru/tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_058_reject_issue_on_input/backend.zig:94:13: 0x102c2338b in emit (backend)
            return error.CompilerCoordinationFailed;
            ^
/Users/larsde/src/koru/tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_058_reject_issue_on_input/backend.zig:190:28: 0x102c24077 in main (backend)
    const generated_code = try RuntimeEmitter.emit(compile_allocator, final_ast);
                           ^

Test Configuration

MUST_FAIL

← 057 auto discharge emission parity 059 reject consume on output →