m

Author: ajewellamz

DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/ToNative.java

@@ -129,6 +129,11 @@ public static RuntimeException Error(Error dafnyValue) {
         dafnyValue.dtor_AwsCryptographyDbEncryptionSdkStructuredEncryption()
       );
     }
+    if (dafnyValue.is_AwsCryptographyKeyStore()) {
+      return software.amazon.cryptography.keystore.ToNative.Error(
+        dafnyValue.dtor_AwsCryptographyKeyStore()
+      );
+    }
     OpaqueError.Builder nativeBuilder = OpaqueError.builder();
     nativeBuilder.obj(dafnyValue);
     return nativeBuilder.build();

DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/transforms/ToNative.java

@@ -141,6 +141,11 @@ public static RuntimeException Error(Error dafnyValue) {
         dafnyValue.dtor_AwsCryptographyDbEncryptionSdkStructuredEncryption()
       );
     }
+    if (dafnyValue.is_AwsCryptographyMaterialProviders()) {
+      return software.amazon.cryptography.materialproviders.ToNative.Error(
+        dafnyValue.dtor_AwsCryptographyMaterialProviders()
+      );
+    }
     OpaqueError.Builder nativeBuilder = OpaqueError.builder();
     nativeBuilder.obj(dafnyValue);
     return nativeBuilder.build();