pub exec fn demo_honored(slot_idx: usize)Expand description
with
Tracked(regions): Tracked<&mut MetaRegionOwners>,old(regions).clean_inv(),final(regions).clean_inv(),Honored: the obligation is minted on the per-frame ledger, then redeemed before the function returns. Verifies cleanly.