Skip to content

feat(unnecessary_fold): lint on folds with Add::add/Mul::mul#16124

Merged
Jarcho merged 2 commits into
rust-lang:masterfrom
ada4a:unnecessary_fold
Dec 12, 2025
Merged

feat(unnecessary_fold): lint on folds with Add::add/Mul::mul#16124
Jarcho merged 2 commits into
rust-lang:masterfrom
ada4a:unnecessary_fold

Commits

Commits on Dec 10, 2025

Commits on Dec 11, 2025