✓
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");
~open()
Output must match:
MUST_ERROR
# Should error because no void disposal candidate exists
# Error occurs at backend-exec when auto-discharge finds no valid candidate
CONTAINS Auto-discharge failedFlows
flow ~open click a branch to expand · @labels scroll to their anchor
open