013 reject function call in branch constructor

✓ Passing This code compiles and runs correctly.

Code

input.kz

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Expected compiler error

error[PARSE003]: branch constructor field 'value' contains a function call — branch constructors must be pure. Use event chaining instead.
  --> tests/regression/000_CORE_LANGUAGE/020_EVENTS_FLOWS/020_013_reject_function_call_in_branch_constructor/input.kz:31:1
    |
 31 | 
    | ^

Error Verification

Expected Error Pattern

Function calls are not allowed in branch constructors - only pure values (literals, bindings, field access)

Actual Compiler Output

error[PARSE003]: branch constructor field 'value' contains a function call — branch constructors must be pure. Use event chaining instead.
  --> tests/regression/000_CORE_LANGUAGE/020_EVENTS_FLOWS/020_013_reject_function_call_in_branch_constructor/input.kz:31:1
    |
 31 | 
    | ^

Test Configuration

MUST_FAIL