070 eof in subflow impl

✓ Passing This code compiles and runs correctly.

Code

// MUST_FAIL: EOF after subflow impl '=' should produce clear error
// This tests CODEX_REVIEW_FINDINGS CRITICAL #3

~event foo {}

~foo =

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected compiler error

error[PARSE003]: expected subflow body after '='
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_070_eof_in_subflow_impl/input.kz:7:1
    |
  7 | 
    | ^

Test Configuration

Expected Error:

expected subflow body after '='

← 069 string type 070 universal wildcard concrete →