Workaround a clippy bug (#324)

* ineffective as a lasersight on a shotgun; but makes clippy work

* toolchain is mentioned in the cmd
15 jobs for master in 5 minutes (queued for 2 seconds)
Name Stage Failure
failed
clippy-wasm Workspace
No job log
failed
test Workspace
No job log
failed
clippy-std Workspace
No job log