✓
Passing Passing: the compiler rejects this program as expected.
Code
// An [entity] store's `take` mints the taken-obligation; a taken entity with no
// discharger is rejected — the "you can't despawn without saying what despawning
// means" wall. The disposal discipline's teeth, scoped to entity stores (a bare
// store's take is frictionless — see 690_022).
~import std/io
~import std/store
~[entity(enemy)]std/store:new(enemies, capacity: 64) { hp: i64 }
~std/store:insert(enemies) { hp: 9 }
| row r |> std/store:take(enemies[r])
| item i |> std/io:print.ln("took hp {{ i.hp:d }}")
Actual compiler output
error[KORU030]: Resource 'i' obligation <taken!> was not discharged. No tor accepts <!taken>.
--> tests/regression/600_STDLIB/690_STORE/690_024_store_entity_take_needs_discharger/input.kz:12:4
❌ Compiler coordination error: Auto-discharge failed (multiple disposal options or no disposal event)
(set KORU_BACKEND_TRACE=1 for the backend return trace)Compiler must reject:
Compilation must fail with a diagnostic.
Error output must contain
Resource 'i' obligation <taken!> was not discharged. No tor accepts <!taken>.Flows
flow ~new click a branch to expand · @labels scroll to their anchor
new (enemies, capacity: 64, source: hp: i64)
flow ~insert click a branch to expand · @labels scroll to their anchor
insert (enemies, source: hp: 9)
Test Configuration
MUST_ERROR