✓
Passing This code compiles and runs correctly.
Code
// Test: a `,` between annotation entries is REFUSED (PARSE007), where it used to
// be silently absorbed.
//
// Annotations separate on `|`. `[comptime, norun]` is not two annotations — it
// parses as ONE entry spelled `"comptime, norun"`, which matches nothing, so the
// block silently means less than it reads. That exact shape shipped in
// `koru_std/build.kz`'s default build steps and dropped a real `depends_on`
// dependency; the resulting breakage surfaced far away, as
// `sh: ./zig-out/bin/main: No such file or directory`, and cost a session.
// Failing loud here is what makes that class of defect non-recurring.
//
// The refusal is TARGETED, not a blanket ban on commas: a comma inside an entry's
// own argument list is depth > 0 and stays legal (`[build("debug", "trace")]` in
// 310_058, `other[x, y]` in 310_106 — both passing), as does one inside a string.
// The diagnostic also has to hand back the CORRECTED spelling, because a message
// that echoes the broken text teaches nothing; that is the `[comptime|norun]` in
// the pinned hint.
~[comptime, norun]pub tor thing { x: i32 }
Must fail at frontend compile:
Parsing or type-checking must reject the program.
Expected patterns
Each line is a regex that must match the program output.
error\[PARSE007\]
invalid annotation separator ',' in '\[comptime, norun\]'
annotations separate on '\|'
hint: write '\[comptime\|norun\]'