✓
Passing Passing: the compiler rejects this program as expected.
Code
// Test 430_005: Abstract with No Implementation (Error Case)
// When an abstract event has NEITHER default NOR override,
// invoking it should be a compiler error.
// Define abstract event with NO implementation at all
~[abstract] tor unimplemented { x: i32 }
// Try to invoke it - THIS SHOULD BE A COMPILER ERROR
~unimplemented(x: 42)
Actual compiler output
error[KORU047]: event 'input:unimplemented' is invoked but has no implementation — without one the compiler would silently stub it to return zero-defaults. Implement it with a proc (`~proc unimplemented|zig { ... }`), a bare-return impl (`~unimplemented -> <value>`), a branch constructor (`~unimplemented => <branch> <value>`), or a subflow (`~unimplemented = <flow>`)
--> tests/regression/400_RUNTIME_FEATURES/430_COORDINATION/430_005_impl_no_implementation/input.kz:9:0
❌ Compiler coordination error: Validation failed (see errors above)
(set KORU_BACKEND_TRACE=1 for the backend return trace)Must fail at runtime:
Program must error when executed.
Error output must contain
no implementationFlows
flow ~unimplemented click a branch to expand · @labels scroll to their anchor
unimplemented (x: 42)
Test Configuration
MUST_ERROR