code wiki / (root) / nx_probe_closure_capture.nx

nx_probe_closure_capture.nx

buildroot/runtime/nx_probe_closure_capture.nx

852 B15 linesdepth 0pulls 0 transitivereach 0 importersview sourcekind probetopic probe
docsdependenciesstructsconstsfunctions

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

11func main(argc: i64, argv: **u8) -> i64