nx_hdlimp_neg_probe.nx source
↩ module page · 12 lines · 394 B
1// nx_hdlimp_neg_probe.nx -- NEGATIVE control for the resolver fix
2// (debt 1785608999): imports a module that exists NOWHERE in the tree.
3// MUST fail expand_imports before AND after the fix; if this ever
4// builds, the resolver has gone fail-open and the fix is refuted.
5
6import "nx_syscalls.nx"
7import "nx_hdlimp_absent_zz_seq1785613.nx"
8
9func main() -> i64 {
10 sys_exit(0)
11 return 0
12}