chore: bump MPL to latest version (#775)

Author: ajewellamz

AwsEncryptionSDK/dafny/AwsEncryptionSdk/test/Fixtures.dfy

@@ -20,7 +20,7 @@ module Fixtures {
 
   const branchKeyStoreName := "KeyStoreDdbTable"
   const logicalKeyStoreName := branchKeyStoreName
-  const branchKeyId := "75789115-1deb-4fe3-a2ec-be9e885d1945"
+  const branchKeyId := "3f43a9af-08c5-4317-b694-3d3e883dcaef"
 
   // UTF-8 encoded "aws-crypto-"
   const RESERVED_ENCRYPTION_CONTEXT: UTF8.ValidUTF8Bytes :=

AwsEncryptionSDK/runtimes/rust/examples/example_utils/utils.rs

@@ -126,19 +126,19 @@ pub(crate) fn x962_to_x509(
 
 fn get_nid(x: EcdhCurveSpec) -> i32 {
     match x {
-        EcdhCurveSpec::EccNistP256 {} => aws_lc_sys::NID_X9_62_prime256v1,
-        EcdhCurveSpec::EccNistP384 {} => aws_lc_sys::NID_secp384r1,
-        EcdhCurveSpec::EccNistP521 {} => aws_lc_sys::NID_secp521r1,
-        EcdhCurveSpec::Sm2 {} => panic!("No SM2 in Rust"),
+        EcdhCurveSpec::EccNistP256 => aws_lc_sys::NID_X9_62_prime256v1,
+        EcdhCurveSpec::EccNistP384 => aws_lc_sys::NID_secp384r1,
+        EcdhCurveSpec::EccNistP521 => aws_lc_sys::NID_secp521r1,
+        EcdhCurveSpec::Sm2 => panic!("No SM2 in Rust"),
     }
 }
 
 fn get_alg(x: EcdhCurveSpec) -> &'static aws_lc_rs::agreement::Algorithm {
     match x {
-        EcdhCurveSpec::EccNistP256 {} => &aws_lc_rs::agreement::ECDH_P256,
-        EcdhCurveSpec::EccNistP384 {} => &aws_lc_rs::agreement::ECDH_P384,
-        EcdhCurveSpec::EccNistP521 {} => &aws_lc_rs::agreement::ECDH_P521,
-        EcdhCurveSpec::Sm2 {} => panic!("No SM2 in Rust"),
+        EcdhCurveSpec::EccNistP256 => &aws_lc_rs::agreement::ECDH_P256,
+        EcdhCurveSpec::EccNistP384 => &aws_lc_rs::agreement::ECDH_P384,
+        EcdhCurveSpec::EccNistP521 => &aws_lc_rs::agreement::ECDH_P521,
+        EcdhCurveSpec::Sm2 => panic!("No SM2 in Rust"),
     }
 }