moonbitlang / core / 5194

91%

push

github

perf(array): inline any/all so #locals applies to the callback

Array::any and Array::all forwarded their callback to the ArrayView
implementations, and passing f onward counts as an escape - so the
wrappers could not carry #locals(f) (error 4163) and call sites lost
closure stack-allocation on these hot entry points, even though the
view callees declare #locals(f) themselves (#3832 tracks propagating
localness through such calls).

Workaround until the compiler propagates: inline the trivial loops
into the wrappers and annotate them directly.
Reviewed by Codex CLI (codex-cli 0.144.1): "No findings. The loops
exactly mirror ArrayView::all/any... f is only invoked, never retained
or forwarded, so #locals(f) is sound."

Signed-off-by: Codex CLI <codex@openai.com>
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

6 of 6 new or added lines in 1 file covered. (100.0%)

15756 of 17260 relevant lines covered (91.29%)

190533.05 hits per line