Sync from rust 2025/07/21 #2891

Job	Run time
duplicates	4s
spell_check	10s
build_system	24s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	12m 45s
build (gcc-15.deb, --extended-rand-tests)	8m 16s
build (gcc-15.deb, --std-tests)	7m 0s
build (gcc-15.deb, --extended-regex-example-tests)	6m 11s
build (gcc-15-without-int128.deb, --test-libcore)	16m 5s
build (gcc-15.deb, --test-libcore)	15m 58s
build (gcc-15.deb, --extended-regex-tests)	11m 19s
build (gcc-15-without-int128.deb, --std-tests)	6m 44s
build (gcc-15-without-int128.deb, --extended-regex-tests)	11m 34s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	14m 2s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	13m 20s
build (gcc-15.deb, --projects)	12m 19s
build (gcc-15-without-int128.deb, --projects)	12m 13s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	12m 52s
build (gcc-15-without-int128.deb, --extended-rand-tests)	9m 3s
build (gcc-15-without-int128.deb, --extended-regex-example-tests)	7m 4s
success	2s
	2h 57m 25s

Provide feedback