Fix clippy warnings #1353

Job	Run time
style	52s
report	16m 3s
build-test (windows-latest, stable, x86_64-pc-windows-msvc, true)	16m 27s
build-test (macos-latest, stable, x86_64-apple-darwin, true)	8m 55s
build-test (ubuntu-20.04, stable, x86_64-unknown-linux-gnu, true)	8m 46s
build-test (ubuntu-22.04, stable, x86_64-unknown-linux-gnu, true)	7m 50s
build-test (ubuntu-22.04, stable, i686-unknown-linux-gnu, true)	9m 52s
build-test (ubuntu-22.04, nightly, wasm32-unknown-unknown, true, --no-default-features, --no-run ...	6m 51s
build-test (ubuntu-22.04, 1.77, x86_64-unknown-linux-gnu)	4m 29s
build-test (ubuntu-22.04, beta, x86_64-unknown-linux-gnu)	4m 11s
build-test (ubuntu-22.04, nightly, x86_64-unknown-linux-gnu, true, miri)	6m 47s
logtalk-test	7m 37s
release	0s
	1h 38m 40s

Provide feedback