Rollup of 7 pull requests#140537

Closed

matthiaskrgr wants to merge 15 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-ajofln5

Commits on Mar 31, 2025

Refactor `diy_float`
TDecking
committed

Commits on Apr 20, 2025

std: mention `remove_dir_all` can emit `DirectoryNotEmpty` when concurrently written into
xizheyin
committed

Commits on Apr 29, 2025

stop check paren if has different ctx
bvanjoi
committed

Commits on Apr 30, 2025

Commits on May 1, 2025