Merge pull request #746 from rust-lang/sync_from_rust_2025_08_03 #2897

Job	Run time
build_system	26s
spell_check	9s
duplicates	5s
build (gcc-15.deb, --extended-regex-example-tests)	7m 3s
build (gcc-15.deb, --test-libcore)	16m 17s
build (gcc-15.deb, --std-tests)	6m 40s
build (gcc-15.deb, --extended-rand-tests)	9m 31s
build (gcc-15-without-int128.deb, --test-libcore)	16m 28s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	13m 49s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	13m 48s
build (gcc-15-without-int128.deb, --extended-regex-tests)	11m 27s
build (gcc-15-without-int128.deb, --extended-rand-tests)	9m 25s
build (gcc-15-without-int128.deb, --std-tests)	6m 42s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	13m 59s
build (gcc-15-without-int128.deb, --extended-regex-example-tests)	7m 2s
build (gcc-15.deb, --extended-regex-tests)	12m 3s
build (gcc-15.deb, --projects)	11m 12s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	13m 30s
build (gcc-15-without-int128.deb, --projects)	12m 18s
success	3s
	3h 1m 57s

Provide feedback