✓
Passing Passing: the compiler rejects this program as expected.
Code
// Test 430_013: Value-level branching (no-arm) inside a coordinate override.
//
// Mirror of 430_012 through std/compiler:has-flag with a flag that is never
// set, pinning the no-arm — and incidentally that has-flag is callable from
// an override (its string param is a runtime value, not comptime).
~import std/compiler
~import std/control
~std/compiler:coordinate = std/compiler:has-flag(flag: "zz-never-a-flag"): h
|> std/compiler:branch(cond: h)
| yes => error "BRANCH-YES"
| no => error "BRANCH-NO"
Actual compiler output
❌ Compiler coordination error: BRANCH-NO
(set KORU_BACKEND_TRACE=1 for the backend return trace)Must contain:
Compiler coordination error: BRANCH-NOFlows
subflow ~coordinate click a branch to expand · @labels scroll to their anchor
has-flag (flag: "zz-never-a-flag")
Test Configuration
MUST_ERROR