fix: rust code used for testing must be allowed dead code (#1148)

ajewellamz · web-flow · commit 59979192a51e · 2024-12-19T15:09:31.000-05:00
diff --git a/AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs b/AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs
@@ -4,6 +4,7 @@
 #![deny(warnings, unconditional_panic)]
 #![deny(nonstandard_style)]
 #![deny(clippy::all)]
+#![allow(dead_code)]
 
 #[allow(non_snake_case)]
 pub mod DafnyLibraries {
diff --git a/StandardLibrary/runtimes/rust/src/dafny_libraries.rs b/StandardLibrary/runtimes/rust/src/dafny_libraries.rs
@@ -4,6 +4,7 @@
 #![deny(warnings, unconditional_panic)]
 #![deny(nonstandard_style)]
 #![deny(clippy::all)]
+#![allow(dead_code)]
 
 #[allow(non_snake_case)]
 pub mod DafnyLibraries {
