102 resume type mismatch

// ============================================================================
// Test 510_102: MUST_FAIL — resume body produces a value of the wrong type.
//
// `! ask []const u8 -> []const u8` declares the resume type as a string,
// but the consumer's handler body is `42` (an integer literal). The
// synthesized Handlers fn declares return type `[]const u8`, so Zig's
// type-checker rejects the wrong-typed return at backend compile.
//
// This locks the invariant: the resume-value path actually routes the
// declared type to the synthesized fn signature, so type mismatches
// are loud rather than silent.
// ============================================================================

~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 _ |> 42
| done _ |> _