106 discharge out of order

// FEATURE SPEC: obligation fields are INDEPENDENT — discharging g before h (the
// reverse of declared order) is equally valid. Pins order-independence of
// field-granular discharge. RED until the feature lands.
~import std/io
const std = @import("std");
const Handle = struct { n: i32 };

~tor dispose { x: *Handle<!owned> }
~proc dispose|zig { std.heap.page_allocator.destroy(x); }

~tor make2 { id: usize } -> { h: *Handle<owned!>, g: *Handle<owned!> }
~proc make2|zig { const h = std.heap.page_allocator.create(Handle) catch unreachable; const g = std.heap.page_allocator.create(Handle) catch unreachable; h.* = .{ .n = 1 }; g.* = .{ .n = 2 }; return .{ .h = h, .g = g }; }
~make2(id: 1): s |> dispose(x: s.g): _ |> dispose(x: s.h): _ |> std/io:print.ln("clean")