Merge pull request #1423 from verus-lang/syn-merge #6373

Job	Run time
smoke-test-and-release-linux	6m 21s
fmt	1m 11s
smoke-test-and-release-windows	7m 30s
smoke-test-and-release-macos-x86	11m 35s
test-and-release-macos	10m 17s
test-and-release-macos (record-history)	3m 33s
test-and-release-macos (no-std)	2m 52s
test-and-release-macos (no-alloc)	2m 23s
test-and-release-macos (singular)	3m 26s
test-and-release-macos (cvc5)	2m 20s
release	18s
	51m 46s

Provide feedback