028 optional branch obligation

✗ Failing This test is currently failing.

Failed: backend-exec

Error Details

output_emitted.zig:56:39: error: expected type expression, found ']'

Failure Output

🎯 Compiler coordination: Passes: 13 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:56:39: error: expected type expression, found ']'
                leaked: *Handle[owned!]  // Optional with obligation!,
                                      ^

Code

// TEST: Optional branch with obligation - auto-discharge handles it!
// STATUS: IMPLEMENTED
//
// This test verifies that:
// 1. Unhandled optional branches get synthesized continuations
// 2. Auto-discharge inserts disposal calls for obligations in optional branches
// 3. The emitter generates proper switch cases (not direct field access)
//
// If user only handles | success |>, but event returns | ?leaked |>,
// the compiler automatically inserts close() call to dispose the handle!

~import "$app/resource"

// User only handles required branch - auto-discharge handles ?leaked
~app.resource:risky()
| success _ |>
    _
// | ?leaked |> AUTO-SYNTHESIZED with disposal of handle!

pub fn main() void {}

input.kz

Expected

Operation succeeded

Imported Files

// Library module: resource
// Demonstrates optional branch with obligation

const std = @import("std");

const Handle = struct {
    id: i32,
};

// Risky operation - might succeed OR might leak a handle
~pub event risky {}
| success u32
| ?leaked *Handle[owned!]  // Optional with obligation!

~proc risky {
    // Always succeeds in this test, but the event DECLARES
    // that it COULD return ?leaked with an obligation
    std.debug.print("Operation succeeded\n", .{});
    return .{ .success = 42 };
}

// Disposer for the obligation (would need to be called for ?leaked)
~pub event close { handle: *Handle[!owned] }
| closed

~proc close {
    std.debug.print("Closing handle\n", .{});
    return .{ .closed = .{} };
}

resource.kz

Test Configuration

MUST_RUN

← 028 ambiguous without default 029 auto discharge void chain →