130 polarity diagnostic names the tor decl

✓ 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: mk). Use '<!owned>' to consume an existing obligation, or remove the '!' suffix.
  --> tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_130_polarity_diagnostic_names_the_tor_decl/input.kz:8:1

Must contain:

KORU033

Flows

flow ~mk click a branch to expand · @labels scroll to their anchor
mk (bad: undefined)

Test Configuration

MUST_ERROR