Rollup of 6 pull requests#145923

Merged

bors merged 19 commits intorust-lang:masterfrom

matthiaskrgr:rollup-rkejtos

Aug 27, 2025

Commits on Aug 1, 2025

add Option::reduce
Qelxiros
committed

Commits on Aug 19, 2025

Commits on Aug 22, 2025

improve float to_degrees/to_radians rounding comments and impl
karolzwolak
committed

Commits on Aug 26, 2025

Commits on Aug 27, 2025