103 resume body discard

✓ Passing This code compiles and runs correctly.

Code

// ============================================================================
// Test 510_103: MUST_FAIL — handler body is `_` discard but the branch
// declares a resume type. The handler fn must produce a value of the
// resume type; a discard produces nothing.
// ============================================================================

~pub event prompt_user { question: []const u8 }
! ask []const u8 -> []const u8
| done []const u8

~proc prompt_user|zig {
    const reply = ask(question);
    return .{ .done = reply };
}

~prompt_user(question: "?")
! ask _ |> _
| done _ |> _
input.kz

Must fail at backend compile:

Code generation must reject the program.