Allow new clippy lint (#458)

New clippy lint introduced that would break safety if followed.

- [x] no changelog update needed
This commit is contained in:
Corwin 2023-07-18 18:44:03 +01:00 committed by GitHub
commit b12692511e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13,6 +13,7 @@
#![feature(allocator_api)]
#![feature(asm_const)]
#![warn(clippy::all)]
#![allow(clippy::needless_pass_by_ref_mut)]
#![deny(clippy::must_use_candidate)]
#![deny(clippy::trivially_copy_pass_by_ref)]
#![deny(clippy::semicolon_if_nothing_returned)]