Fix the few new clippy complaints that come with rust 1.77.
Rust 1.77 will be released on March 21st, but the pre-release is available now. There are a few new clippy complaints and they'll be distracting once we move to 1.77, so may as well fix them sooner rather than later.
Fix the few new clippy complaints that come with rust 1.77.
Rust 1.77 will be released on March 21st, but the pre-release is available now. There are a few new clippy complaints and they'll be distracting once we move to 1.77, so may as well fix them sooner rather than later.