Specification for `std::collections::VecDeque` #6510

Job	Run time
fmt	1m 3s
smoke-test-and-release-macos-x86	9m 55s
smoke-test-and-release-windows	7m 13s
smoke-test-and-release-linux	6m 48s
test-and-release-macos	5m 26s
test-and-release-macos (record-history)	2m 55s
test-and-release-macos (no-std)	2m 58s
test-and-release-macos (no-alloc)	2m 22s
test-and-release-macos (singular)	1m 54s
test-and-release-macos (cvc5)	2m 45s
release	0s
	43m 19s

Provide feedback