nx_probe_closure_capture.nx
buildroot/runtime/nx_probe_closure_capture.nx
about
nx_probe_closure_capture.nx -- LN13b NEGATIVE CONTROL: a function literal that READS a local of
the function around it must be REFUSED BY NAME, never compiled.
This file is expected NOT to compile. That is its entire purpose: rung 1 admits the
non-capturing literal and defers capture-by-value to LN13c, and a rung that merely admitted the
easy case while silently miscompiling the hard one would be worse than not shipping. The parser
answers an unresolved name with the CONSTANT ZERO, so a capture that slipped through would
produce a program that runs, returns a wrong number, and says nothing.
license_tier: ORIGINAL. Never built into an artifact. No hw writes (Rule 26).
dependencies 0 imports · 0 importers
imports: none
imported by: nobody (leaf or entry point)
structs
| none |
consts
| none |
functions
| 11 | func main(argc: i64, argv: **u8) -> i64 |