Rollup of 8 pull requests#137571

Merged

bors merged 17 commits intorust-lang:masterfrom

tgross35:rollup-i1tcnv1

Feb 25, 2025

Commits on Dec 22, 2024

Stabilize `hash_extract_if`
GrigorenkoPV
committed

Commits on Feb 9, 2025

Update string.rs
robertbastian
authored

Commits on Feb 20, 2025

Implement read_buf for zkVM stdin
thaliaarchi
committed

Commits on Feb 21, 2025

Explain how Vec::with_capacity is faithful
hkBst
committed

Commits on Feb 23, 2025

Commits on Feb 24, 2025