✓
Passing This code compiles and runs correctly.
Code
// Test: @loop without matching #loop
// GOOD: Backend catches with "Unknown label referenced"
~tor foo {}
~foo() |> @loop
Must fail at runtime:
Program must error when executed.
Error output must contain
Unknown label referencedFlows
flow ~foo click a branch to expand · @labels scroll to their anchor
foo