nx_probe_caplim_fassign.nx source
↩ module page · 10 lines · 540 B
1// nx_probe_caplim_fassign.nx -- MUST-REFUSE WITNESS (float-boundary completion, 2026-08-13):
2// the VAR-INIT and plain-ASSIGNMENT sites used to store raw IEEE bits silently even after the
3// let site refused (the 30c re-typed-fix divergence, caught by re-checking the claim). Both
4// shapes below must refuse via the SHARED guard nx_float_bind_guard with the same capability
5// voice + slug capability=float-int-boundary. EXPECT: COMPILE-FAIL, 2 error(s).
6func main(argc: i64, argv: *u8) -> i64 {
7 var x: i64 = 2.5
8 x = 1.5
9 return x
10}