phantom state mismatch

○ Planned This feature is planned but not yet implemented.

Feature: Phantom state mismatch detection

Code

const std = @import("std");
~event open_file {}
| opened *std.fs.File[open]
~proc open_file {
    const allocator = std.heap.page_allocator;
    const f = allocator.create(std.fs.File) catch unreachable;
    return .{ .opened = f };
}
~event close_file { file: *std.fs.File[closed] }
~proc close_file {
}
~open_file()
| opened o |> close_file(file: o.file)

input.kz

Test Configuration

Expected Behavior:

FRONTEND_COMPILE_ERROR

← state variable chaining phantom state valid →