fix: rust code used for testing must be allowed dead code

ajewellamz · ajewellamz · commit 9bbc29fb1f74 · 2024-12-19T14:18:01.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 {
