✓
Passing This code compiles and runs correctly.
Code
// Test: Shape field missing colon between name and type
// Expected: Parser rejects with "field missing type annotation"
~event foo { x i32 }
Must fail at frontend compile:
Parsing or type-checking must reject the program.
Expected compiler error
error[PARSE003]: field missing type annotation
--> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_030_missing_colon_in_field/input.kz:5:1
|
5 |
| ^