Merge pull request #786 from rust-lang/reg-vector-type #3035

Job	Run time
spell_check	10s
duplicates	3s
build_system	27s
build (gcc-15.deb, --extended-rand-tests)	14m 52s
build (gcc-15.deb, --std-tests)	7m 24s
build (gcc-15.deb, --test-libcore)	18m 18s
build (gcc-15.deb, --projects)	11m 30s
build (gcc-15-without-int128.deb, --test-libcore)	17m 28s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	16m 48s
build (gcc-15-without-int128.deb, --extended-rand-tests)	10m 9s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	15m 16s
build (gcc-15-without-int128.deb, --std-tests)	7m 47s
build (gcc-15-without-int128.deb, --extended-regex-example-tests)	13m 33s
build (gcc-15.deb, --extended-regex-example-tests)	8m 5s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	14m 22s
build (gcc-15.deb, --extended-regex-tests)	11m 47s
build (gcc-15-without-int128.deb, --projects)	11m 23s
build (gcc-15-without-int128.deb, --extended-regex-tests)	14m 15s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	16m 13s
success	4s
	3h 29m 54s

Provide feedback