Sync from rust 2025/07/21 #2880

Job	Run time
duplicates	3s
build_system	34s
spell_check	11s
build (gcc-15.deb, --test-libcore)	15m 7s
build (gcc-15.deb, --extended-rand-tests)	7m 45s
build (gcc-15.deb, --extended-regex-example-tests)	6m 1s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	12m 49s
build (gcc-15.deb, --extended-regex-tests)	11m 58s
build (gcc-15.deb, --std-tests)	5m 26s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	12m 49s
build (gcc-15.deb, --projects)	11m 39s
build (gcc-15-without-int128.deb, --std-tests)	5m 46s
build (gcc-15-without-int128.deb, --test-libcore)	15m 31s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	13m 10s
build (gcc-15-without-int128.deb, --extended-rand-tests)	8m 7s
build (gcc-15-without-int128.deb, --extended-regex-example-tests)	6m 43s
build (gcc-15-without-int128.deb, --projects)	11m 43s
build (gcc-15-without-int128.deb, --extended-regex-tests)	10m 51s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	12m 46s
success	3s
	2h 49m 2s

Provide feedback