058 reject issue on input

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

Code

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

input.kz

Actual compiler output

error[KORU033]: Cannot issue obligation '<connected!>' on input parameter (event: use-connection). Use '<!connected>' to consume an existing obligation, or remove the '!' suffix.
  --> tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_058_reject_issue_on_input/input.kz:2:0

❌ Compiler coordination error: Phantom semantic validation failed
   (set KORU_BACKEND_TRACE=1 for the backend return trace)

Must contain:

Cannot issue obligation

Test Configuration

MUST_ERROR

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