098 obligation record field under for each

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

Code

input.kz

Actual compiler output

error[KORU030]: Resource 'h' obligation <owned!> was not discharged. Call one of: dispose
  --> tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_098_obligation_record_field_under_for_each/input.kz:20:0

❌ Compiler coordination error: Auto-discharge failed (multiple disposal options or no disposal event)
   (set KORU_BACKEND_TRACE=1 for the backend return trace)

Backend must reject with:

CONTAINS error[KORU030]
CONTAINS was not discharged

Flows

flow ~for click a branch to expand · @labels scroll to their anchor
for (0..3)

Test Configuration

MUST_ERROR