nx_probe_caplim_args.nx source
↩ module page · 10 lines · 772 B
1// nx_probe_caplim_args.nx -- MUST-REFUSE WITNESS (capability-limit voice, 2026-08-13):
2// 25 declared parameters exceed the 23-arg call cap (IR operand slots, raised 4->8->16->24).
3// EXPECT: COMPILE-FAIL that says what is possible (23), teaches the struct-pointer idiom,
4// and carries the slug capability=call-arity-ceiling -- NOT the old "op0..op23 ceiling" jargon.
5func big(a1: i64, a2: i64, a3: i64, a4: i64, a5: i64, a6: i64, a7: i64, a8: i64, a9: i64, a10: i64, a11: i64, a12: i64, a13: i64, a14: i64, a15: i64, a16: i64, a17: i64, a18: i64, a19: i64, a20: i64, a21: i64, a22: i64, a23: i64, a24: i64, a25: i64) -> i64 {
6 return a1 + a25
7}
8func main(argc: i64, argv: *u8) -> i64 {
9 return big(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25)
10}