✓
Passing This code compiles and runs correctly.
Code
pub const Handle = struct {
id: i32,
};
~event open {}
| ok *Handle<open!>
~proc open|zig {
const h = std.heap.page_allocator.create(Handle) catch unreachable;
h.* = .{ .id = 42 };
return .{ .ok = h };
}
~[!]event close { h: *Handle<!open> }
| error []const u8
~proc close|zig {
std.heap.page_allocator.destroy(h);
}
const std = @import("std");
Output must match:
MUST_FAIL
# Default auto-discharge ([!]) must be void — cannot auto-insert a branched event
CONTAINS KORU083
CONTAINS void eventError Verification
Actual Compiler Output
error[KORU083]: [!] annotation requires void event (no branches) - branched events cannot be auto-discharged
--> auto_discharge:14:0
error[KORU083]: [!] annotation requires void event (no branches) - branched events cannot be auto-discharged
--> auto_discharge:14:0
❌ Compiler coordination error: Auto-discharge failed (multiple disposal options or no disposal event)
error: CompilerCoordinationFailed
/Users/larsde/src/koru/tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_037_default_discharge_must_be_void/backend.zig:94:13: 0x10539338b in emit (backend)
return error.CompilerCoordinationFailed;
^
/Users/larsde/src/koru/tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_037_default_discharge_must_be_void/backend.zig:190:28: 0x105394077 in main (backend)
const generated_code = try RuntimeEmitter.emit(compile_allocator, final_ast);
^Test Configuration
MUST_FAIL