Merge pull request #824 from GuillaumeGomez/regen-intrinsics #1940

Job	Run time
build (--mini-tests)	44s
build (--std-tests)	39s
build (--test-successful-rustc --nb-parts 2 --current-part 1)	40s
build (--test-libcore)	41s
build (--test-successful-rustc --nb-parts 2 --current-part 0)	39s
success_gcc12	4s
	3m 27s

Provide feedback