✓
Passing This code compiles and runs correctly.
Code
// Test: Unknown label should produce a clear error message
~event foo {}
~foo() |> @missing()
Must fail at backend compile:
Code generation must reject the program.
Test Configuration
Expected Error:
unknown label '@missing'