_nx_dupdef_live_probe.nx source
↩ module page · 14 lines · 794 B
1// RETIRED PROBE -- kept as documentation, deliberately made VALID so it cannot break a
2// corpus build. On 2026-07-31 this file held two definitions of dup_live and was used to
3// prove, on the NAS through the real /api/build path, that the duplicate-definition guard
4// is LIVE in the shipped toolchain (debt 1785447657). The compiler answered:
5//
6// nx_parse: line 8: duplicate definition of 'dup_live' -- already defined at line 5
7//
8// Before the guard, exactly this shape compiled into a clean working binary and let one
9// body silently win, with no diagnostic. To re-prove it, duplicate the function below and
10// build this target: BUILD-FAILED naming both lines is the expected, correct answer.
11func dup_live(a: i64) -> i64 {
12 return 1
13}
14func main() -> i64 { return dup_live(0) }