✓
Passing This code compiles and runs correctly.
Code
// Test: Field with missing type after colon
// Pins: the frontend refuses a typeless shape field — `x:` carries no
// type, PARSE003 at the declaration, never emitted to backend Zig.
~tor foo { x: }
Must fail at frontend compile:
Parsing or type-checking must reject the program.
Error output must contain
field 'x' carries no type