Merge branch 'sync_from_rust' #3100

Job	Run time
bench	7m 49s
rustfmt	12s
dist (ubuntu-20.04, x86_64-unknown-linux-gnu)	1m 37s
dist (macos-latest, x86_64-apple-darwin)	2m 24s
dist (ubuntu-latest, x86_64-pc-windows-gnu)	1m 53s
dist (windows-latest, x86_64-pc-windows-msvc)	2m 44s
test (ubuntu-latest, x86_64-unknown-linux-gnu)	6m 21s
dist (windows-latest, x86_64-pc-windows-gnu)	3m 22s
test (macos-latest, x86_64-apple-darwin)	7m 45s
test (ubuntu-latest, x86_64-pc-windows-gnu)	6m 2s
test_llvm	3m 54s
test (ubuntu-latest, aarch64-unknown-linux-gnu)	3m 56s
test (ubuntu-latest, s390x-unknown-linux-gnu)	3m 56s
test (ubuntu-latest, riscv64gc-unknown-linux-gnu)	3m 48s
test (windows-latest, x86_64-pc-windows-msvc)	9m 49s
test (windows-latest, x86_64-pc-windows-gnu)	8m 26s
release	29s
	1h 14m 27s

Provide feedback