Sync from rust 2025/07/21 #2889

Job	Run time
duplicates	5s
spell_check	9s
build_system	25s
build (gcc-15.deb, --std-tests)	6m 0s
build (gcc-15.deb, --extended-regex-example-tests)	11m 40s
build (gcc-15.deb, --test-libcore)	15m 17s
build (gcc-15.deb, --extended-rand-tests)	8m 29s
build (gcc-15.deb, --projects)	10m 53s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	13m 33s
build (gcc-15.deb, --extended-regex-tests)	11m 12s
build (gcc-15-without-int128.deb, --test-libcore)	16m 55s
build (gcc-15-without-int128.deb, --std-tests)	6m 51s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	14m 43s
build (gcc-15-without-int128.deb, --projects)	11m 42s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	13m 2s
build (gcc-15-without-int128.deb, --extended-regex-tests)	11m 46s
build (gcc-15-without-int128.deb, --extended-regex-example-tests)	6m 14s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	13m 25s
build (gcc-15-without-int128.deb, --extended-rand-tests)	8m 9s
success	3s
	3h 0m 33s

Provide feedback