✗
Failing This test is currently failing.
Failed: wrong-error
Error Details
output_emitted.zig:51:28: error: function with non-void return type 'i64' implicitly returns
Failure Output
Showing last 10 of 11 lines
Error: output_emitted.zig:51:28: error: function with non-void return type 'i64' implicitly returns
fn ask(_: i64) i64 {}
^~~
output_emitted.zig:51:33: note: control flow reaches end of body here
fn ask(_: i64) i64 {}
^
referenced by:
handler__anon_2640: output_emitted.zig:39:18
flow0: output_emitted.zig:53:57
5 reference(s) hidden; use '-freference-trace=7' to see all references Code
// MUST_FAIL — firing a value-resuming OPTIONAL arm WITHOUT a presence test.
// Designed 2026-07-03: `! ?ask i64 -> i64` may be omitted by the consumer,
// so an UNGUARDED fire binds a value that might not exist. No no-op can be
// synthesized (a fn with a mandatory return and an empty body is not a
// thing), and a fabricated default would be a silent fallback. The wall:
// the fire must be dominated by a presence test (`if(ask)` / `when ask`,
// 400_146/147), and the diagnostic points there — pit-of-success.
//
// Pinned failure BEFORE the wall existed: this exact program sailed through
// analysis and died at Stage D with a raw Zig leak ("function with non-void
// return type 'i64' implicitly returns" on the synthesized no-op).
import std/io
pub event query { q: i64 }
! ?ask i64 -> i64
| done i64
query = ask(q): a => done a
query(q: 41)
| done r |> std/io:print.ln("{{ r:d }}")
Backend must reject with:
CONTAINS 'ask' is optional
CONTAINS if(ask)Error Verification
Actual Compiler Output
🎯 Compiler coordination: Passes: 15 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:51:28: error: function with non-void return type 'i64' implicitly returns
fn ask(_: i64) i64 {}
^~~
output_emitted.zig:51:33: note: control flow reaches end of body here
fn ask(_: i64) i64 {}
^
referenced by:
handler__anon_2640: output_emitted.zig:39:18
flow0: output_emitted.zig:53:57
5 reference(s) hidden; use '-freference-trace=7' to see all referencesFlows
subflow ~query click a branch to expand · @labels scroll to their anchor
ask (q)
flow ~query click a branch to expand · @labels scroll to their anchor
query (q: 41)
Test Configuration
MUST_FAIL