phantom state mismatch

// PIN: passing a value whose phantom state does not match the callee's
// required state is refused — open-file issues <open>, close-file requires
// <closed>, so the call must not compile.
const std = @import("std");
~tor open-file {} -> *std.fs.File<open>
~proc open-file|zig {
    const allocator = std.heap.page_allocator;
    const f = allocator.create(std.fs.File) catch unreachable;
    return f;
}
~tor close-file { file: *std.fs.File<closed> }
~proc close-file|zig {
}
~open-file(): o |> close-file(file: o)