Skip to content

unnecessary_fold improvements#13475

Closed
viliml wants to merge 7 commits intorust-lang:masterfrom
viliml:unnecessary-fold-improvements
Closed

`unnecessary_fold` improvements#13475
viliml wants to merge 7 commits intorust-lang:masterfrom
viliml:unnecessary-fold-improvements

Commits

Commits on Sep 4, 2025