Stefan Holderbach c2f4969d4f
Clippy fix for Rust 1.63 (#6299)
Take more sensitive lints into account

Somewhat ugly in some cases is the replacement of `.get(0)` with
`.first()`
2022-08-11 11:54:54 -05:00
..
2022-06-21 23:27:58 -04:00
2022-08-11 11:54:54 -05:00