chore: update for complete copyright notices

DynamoDbEncryption/runtimes/rust/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "aws-db-esdk"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 rust-version = "1.80.0"
 keywords = ["cryptography", "security", "dynamodb", "encryption", "client-side"]

releases/rust/db_esdk/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "aws-db-esdk"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 rust-version = "1.80.0"
 keywords = ["cryptography", "security", "dynamodb", "encryption", "client-side"]

releases/rust/db_esdk/src/aes_kdf_ctr.rs

@@ -14,9 +14,6 @@ pub mod AesKdfCtr {
     use dafny_runtime::Sequence;
     use std::rc::Rc;
 
-    #[allow(non_camel_case_types)]
-    // pub struct _default {}
-
     fn error(s: &str) -> Rc<DafnyError> {
         Rc::new(DafnyError::AwsCryptographicPrimitivesError {
             message:

releases/rust/db_esdk/src/lib.rs

@@ -3,6 +3,8 @@
 
 #![allow(warnings, unconditional_panic)]
 #![allow(nonstandard_style)]
+#![allow(clippy::never_loop)]
+#![allow(clippy::absurd_extreme_comparisons)]
 
 pub mod client;
 pub mod conversions;
@@ -30,7 +32,7 @@ pub use crate::deps::aws_cryptography_materialProviders;
 pub use crate::deps::aws_cryptography_primitives;
 
 pub(crate) mod implementation_from_dafny;
-pub(crate) use crate::implementation_from_dafny::r#_Wrappers_Compile;
+pub(crate) use crate::implementation_from_dafny::_Wrappers_Compile;
 pub(crate) use crate::implementation_from_dafny::software;
 pub(crate) use crate::implementation_from_dafny::AesKdfCtr;
 pub(crate) use crate::implementation_from_dafny::ConcurrentCall;

releases/rust/db_esdk/src/standard_library_conversions.rs

@@ -1,3 +1,6 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
+
 pub fn ostring_to_dafny(
     input: &Option<String>,
 ) -> ::std::rc::Rc<

releases/rust/db_esdk/src/standard_library_externs.rs

@@ -1,3 +1,6 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
+
 // Annotation to ignore the case of this module
 use crate::r#_Wrappers_Compile;
 use crate::implementation_from_dafny::UTF8;