110 reject issue obligation in input

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

Code

input.kz

Actual compiler output

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

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

Backend must reject with:

CONTAINS Cannot issue obligation
CONTAINS input parameter

Flows

flow ~mk click a branch to expand · @labels scroll to their anchor
mk

Test Configuration

MUST_ERROR