✓
Passing Passing: the compiler rejects this program as expected.
Code
~import std/control
~import std/build
~std/build:requires { exe.linkLibC(); }
const std = @import("std");
const Resource = struct {
id: usize,
};
const allocator = std.heap.c_allocator;
~tor create { id: usize } -> *Resource<active!>
~proc create|zig {
const r = allocator.create(Resource) catch unreachable;
r.* = Resource{ .id = id };
return r;
}
~tor use { r: *Resource<active> }
~proc use|zig {
std.debug.print("using {}\n", .{r.id});
}
~for(0..10)
! each i |> create(id: i): r |> use(r) // use it, but can't dispose - no destroy event exists!
Actual compiler output
error[KORU030]: Resource 'r' obligation <active!> was not discharged. No tor accepts <!active>.
--> tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_053_for_loop_obligation_escape/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 dischargedFlows
flow ~requires click a branch to expand · @labels scroll to their anchor
requires (source: exe.linkLibC();)
flow ~for click a branch to expand · @labels scroll to their anchor
for (0..10)
Test Configuration
MUST_ERROR