✓
Passing This code compiles and runs correctly.
Code
// PINS: a tor input shape field whose type is empty (`y: ` between
// commas) refuses PARSE003 at the declaration — a field entry needs both
// halves of `name: type`; the empty half is not a type to splice.
import std/io
tor check { x: i32, y: , z: i32 } -> i32
check -> x + z
check(x: 1, y: 2, z: 3): v |> std/io:print.ln("{{ v:d }}")
Frontend must reject with:
CONTAINS error[PARSE003]
CONTAINS malformed field
CONTAINS 'y' carries no type
ERROR_AT 5
NOT_CONTAINS output_emitted.zig