149 effect optional resume unguarded fire

✗ 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

input.k

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 references

Flows

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