✓
Passing Passing: the compiler rejects this program as expected.
Code
// PINS: a branch that carries a payload must be bound or explicitly discarded.
//
// | result r |> binds the payload to 'r'
// | result _ |> explicitly discards it
// | result |> names the branch and drops the payload on the floor
//
// The third form is the one refused, and the refusal must name the branch.
//
// Two branches, not one: a lone payload-carrying branch is refused at the
// DECLARATION by PARSE003 ("declare the single output as a bare return
// instead"), which masks this case entirely at one branch.
const std = @import("std");
~import std/io
~tor compute { x: i32 }
| result i32
| skipped
~compute => result x * 2
~compute(x: 42)
| result |> std/io:print.ln("done")
| skipped |> _
Actual compiler output
error[KORU030]: branch 'result' has payload but no binding
--> tests/regression/300_ADVANCED_FEATURES/310_COMPTIME/310_039_branch_payload_requires_binding/input.kz:22:0
❌ Compiler coordination error: Incomplete branch coverage
(set KORU_BACKEND_TRACE=1 for the backend return trace)Error output must contain
branch 'result' has payload but no bindingFlows
flow ~compute click a branch to expand · @labels scroll to their anchor
compute (x: 42)
Test Configuration
MUST_ERROR