✓
Passing This code compiles and runs correctly.
Code
// Test: Unknown label should produce a clear error message
tor foo {}
foo() |> @missing()
Must fail at backend compile:
Code generation must reject the program.
Error output must contain
unknown label '@missing'Flows
flow ~foo click a branch to expand · @labels scroll to their anchor
foo