Linter fixes

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)]