follow Clippy's recommendation to remove some unneeded vec #1271

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	58s
formatting	14s
build (nightly)	2m 40s
minrust	1m 51s
build (beta)	2m 50s
Miri	5m 30s
build (stable)	2m 42s
	16m 45s