059 reject consume on output

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

Code

const Connection = struct { id: i32 };
~pub tor connect { url: string } -> *Connection<!connected>
~proc connect|zig {
    return undefined;
}

input.kz

Actual compiler output

error[KORU033]: Cannot consume obligation '<!connected>' on output parameter (event: connect). Use '<connected!>' to issue a new obligation, or remove the '!' prefix.
  --> tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_059_reject_consume_on_output/input.kz:2:0

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

Must contain:

Cannot consume obligation

Test Configuration

MUST_ERROR

← 058 reject issue on input 060 reject state mismatch on input →