From 4c222cb75315e302e5428633c2758ef51110f6fc Mon Sep 17 00:00:00 2001 From: Deukhoofd Date: Thu, 22 Jun 2023 15:50:37 +0200 Subject: [PATCH] Linter fixes --- src/lib.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/lib.rs b/src/lib.rs index 35e56e1..31c5d6c 100755 --- a/src/lib.rs +++ b/src/lib.rs @@ -1,4 +1,6 @@ // Linter modifications +#![allow(unknown_lints)] // We use nightly lints, and sometimes the build server doesn't have them +#![allow(stable_features)] // We use nightly features, and there's sometimes a mismatch about which features are stable #![allow(clippy::too_many_arguments, clippy::needless_range_loop)] #![allow(clippy::not_unsafe_ptr_arg_deref)] #![allow(clippy::borrowed_box)]