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:1

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