✓
Passing Passing: the compiler rejects this program as expected.
Code
// A ring whose element proto carries an owned leaf must refuse: the slot
// moves bytes with no custody edge, so `*mod:Type<state!>` inside the
// element is a debt the ring cannot account for. The channel is the
// consumer that transits owned leaves (699_031). Leaf-level twin of
// 320_171 (phantom-typed element refused).
import std/proto
import std/rings
import app/lib/res
std/proto(Env) {
r1: *app/lib/res:Resource<owned!>
}
std/rings:new(moves, capacity: 8) { env: Env }
Supporting Files
// A minimal OWNED-POINTER resource type (non-string), for generalizing B-narrow
// past std/string. `new` issues <owned!>; `free` is the canonical VOID
// discharger consuming <!owned>; `tag` borrows to read a field.
const std = @import("std");
const Resource = struct { tag: i64 };
~pub tor new { } -> *Resource<owned!>
~proc new|zig {
const r = std.heap.page_allocator.create(Resource) catch unreachable;
r.* = .{ .tag = 42 };
return r;
}
// Canonical discharger: consumes <!owned>, frees the resource. Void (no output).
~pub tor free { r: *Resource<!owned> }
~proc free|zig {
std.heap.page_allocator.destroy(r);
}
// Borrow: read the tag without consuming the obligation.
~pub tor tag { r: *Resource<owned> } -> i64
~proc tag|zig {
return r.tag;
}
Actual compiler output
error[KORU161]: std/rings:new(moves): proto 'Env' leaf 'r1' is owned ('*app/lib/res:Resource<owned!>') — a ring slot has no custody edge for an obligation; std/channel is the consumer that transits owned leaves
--> tests/regression/300_ADVANCED_FEATURES/320_STDLIB/320_176_rings_owned_leaf_element_refused/input.k:14:0Must fail at runtime with:
CONTAINS owned
CONTAINS custody edgeError output must contain
custody edgeFlows
flow ~std/proto click a branch to expand · @labels scroll to their anchor
std/proto (Env, source: r1: *app/lib/res:Resource<owned!>)
flow ~new click a branch to expand · @labels scroll to their anchor
new (moves, capacity: 8, source: env: Env)
Test Configuration
MUST_ERROR