✓
Passing This code compiles and runs correctly.
Code
pub const Handle = struct {
id: i32,
};
~tor open {} -> *Handle<open!>
~proc open|zig {
const h = std.heap.page_allocator.create(Handle) catch unreachable;
h.* = .{ .id = 42 };
return h;
}
~[!]tor close { h: *Handle<!open> } -> string
~proc close|zig {
std.heap.page_allocator.destroy(h);
}
const std = @import("std");
Output must match:
MUST_ERROR
# Default auto-discharge ([!]) must be void — cannot auto-insert a branched event
CONTAINS KORU083
CONTAINS void tor