✓
Passing This code compiles and runs correctly.
Code
// TEST: Discard binding with _ is valid
//
// When a user writes `| opened _ |>`, this is an explicit discard.
// Unlike named bindings, _ is NOT checked for usage (KORU100 exempt).
//
// The auto-discharge system will synthesize a binding (_auto_0) internally
// so disposal calls can still reference the value.
//
// Expected: Compiles successfully
import app/fs
// OK: _ is explicit discard - no KORU100 error
app/fs:open(path: "test.txt")
Flows
flow ~open click a branch to expand · @labels scroll to their anchor
open (path: "test.txt")
Imported Files
// Library module: fs
// Single disposal event - auto-discharge should work
const std = @import("std");
const File = struct { handle: i32 };
// Open a file - returns opened! state (requires cleanup)
~pub event open { path: []const u8 } -> *File<opened!>
~proc open|zig {
std.debug.print("Opening file\n", .{});
const f = std.heap.page_allocator.create(File) catch unreachable;
f.* = File{ .handle = 42 };
return f;
}
// Close - the ONLY consumer of <!opened>
~pub event close { file: *File<!opened> }
~proc close|zig {
std.debug.print("Closing file (auto-discharged)\n", .{});
}