fix `clippy`? #743

Job	Run time
benchcomp-tests	7m 15s
bookrunner	28m 7s
perf	37m 54s
regression (macos-11)	39m 10s
regression (ubuntu-20.04)	32m 5s
regression (ubuntu-22.04)	35m 6s
releasebundle-macos (macos-11)	10m 9s
releasebundle-ubuntu	37m 28s
write-json-symtab-regression	26m 7s
	4h 13m 21s

Provide feedback