Sync from rust 2025/07/21 #2887

Job	Run time
build_system	26s
build (gcc-15.deb, --std-tests)	6m 27s
duplicates	6s
build (gcc-15-without-int128.deb, --extended-rand-tests)	9m 18s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	13m 51s
spell_check	9s
build (gcc-15.deb, --test-libcore)	15m 58s
build (gcc-15-without-int128.deb, --std-tests)	5m 47s
build (gcc-15.deb, --extended-regex-example-tests)	7m 21s
build (gcc-15-without-int128.deb, --extended-regex-example-tests)	7m 11s
build (gcc-15-without-int128.deb, --test-libcore)	16m 3s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	12m 59s
build (gcc-15.deb, --extended-rand-tests)	8m 26s
build (gcc-15.deb, --extended-regex-tests)	11m 31s
build (gcc-15.deb, --projects)	11m 46s
build (gcc-15-without-int128.deb, --extended-regex-tests)	12m 28s
build (gcc-15-without-int128.deb, --projects)	11m 3s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	14m 52s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	12m 54s
success	3s
	2h 58m 39s

Provide feedback