Skip to content

Eliminate unnecessary cloning in any/all loop#324

Merged
divarvel merged 1 commit into
eclipse-biscuit:mainfrom
saoirse-a:repeat-cloning-in-any-all-loop
Apr 22, 2026
Merged

Eliminate unnecessary cloning in any/all loop#324
divarvel merged 1 commit into
eclipse-biscuit:mainfrom
saoirse-a:repeat-cloning-in-any-all-loop

Commits

Commits on Apr 10, 2026