064 extra event param

✓ Passing This code compiles and runs correctly.

Code

// Test: Event call with parameter not in event shape
// ACCEPTABLE: Backend Zig error "no field named 'y'"
// (We don't re-implement Zig's type system)

~event foo { x: i32 }

~foo(x: 1, y: 2)

input.kz

Must fail at backend compile:

Code generation must reject the program.

Test Configuration

Expected Error:

no field named 'y'

← 063 missing event param 065 pub proc double tilde →