022 double pipe branch

✗ Failing This test is currently failing.

Failed: error-output

Failure Output

error[PARSE003]: branch missing name
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_022_double_pipe_branch/input.kz:6:1
    |
  6 | || done
    | ^

Code

// Test: Double pipe before branch name
// Expected: Parser rejects with "invalid branch name"

~event foo { x: i32 }
|| done

input.kz

Expected

error[PARSE003]: invalid branch name '| done' - must be a valid identifier
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_022_double_pipe_branch/input.kz:5:1
    |
  5 | ~event foo { x: i32 }
    | ^

Test Configuration

Expected Behavior:

FRONTEND_COMPILE_ERROR

← 021 duplicate branch names 023 branch without name →