chore: bump smithy-dafny (#1657)

Author: ajewellamz

AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs

@@ -25,6 +25,7 @@
     ComAmazonawsKms,
     KeyStoreException,
     OpaqueError,
+    OpaqueWithTextError,
     ServiceError,
 )
 from aws_cryptography_internal_dynamodb.smithygenerated.com_amazonaws_dynamodb.shim import (
@@ -104,7 +105,9 @@ def _deserialize_error(error: Error) -> ServiceError:
     if error.is_Opaque:
         return OpaqueError(obj=error.obj)
     elif error.is_OpaqueWithText:
-        return OpaqueErrorWithText(obj=error.obj, obj_message=error.objMessage)
+        return OpaqueWithTextError(
+            obj=error.obj, obj_message=_dafny.string_of(error.objMessage)
+        )
     elif error.is_CollectionOfErrors:
         return CollectionOfErrors(
             message=_dafny.string_of(error.message),
@@ -113,10 +116,30 @@ def _deserialize_error(error: Error) -> ServiceError:
     elif error.is_KeyStoreException:
         return KeyStoreException(message=_dafny.string_of(error.message))
     elif error.is_ComAmazonawsKms:
-        return ComAmazonawsKms(message=_dafny.string_of(error.ComAmazonawsKms.message))
+        if hasattr(error.ComAmazonawsKms, "objMessage"):
+            return ComAmazonawsKms(
+                message=_dafny.string_of(error.ComAmazonawsKms.objMessage)
+            )
+        elif hasattr(error.ComAmazonawsKms, "Message"):
+            return ComAmazonawsKms(
+                message=_dafny.string_of(error.ComAmazonawsKms.Message)
+            )
+        else:
+            return ComAmazonawsKms(
+                message=_dafny.string_of(error.ComAmazonawsKms.message)
+            )
     elif error.is_ComAmazonawsDynamodb:
-        return ComAmazonawsDynamodb(
-            message=_dafny.string_of(error.ComAmazonawsDynamodb.message)
-        )
+        if hasattr(error.ComAmazonawsDynamodb, "objMessage"):
+            return ComAmazonawsDynamodb(
+                message=_dafny.string_of(error.ComAmazonawsDynamodb.objMessage)
+            )
+        elif hasattr(error.ComAmazonawsDynamodb, "Message"):
+            return ComAmazonawsDynamodb(
+                message=_dafny.string_of(error.ComAmazonawsDynamodb.Message)
+            )
+        else:
+            return ComAmazonawsDynamodb(
+                message=_dafny.string_of(error.ComAmazonawsDynamodb.message)
+            )
     else:
         return OpaqueError(obj=error)

AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/TypeConversion.cs

@@ -42,6 +42,7 @@
     InvalidEncryptionMaterialsTransition,
     KeyStore,
     OpaqueError,
+    OpaqueWithTextError,
     ServiceError,
 )
 from aws_cryptography_internal_dynamodb.smithygenerated.com_amazonaws_dynamodb.shim import (
@@ -323,7 +324,9 @@ def _deserialize_error(error: Error) -> ServiceError:
     if error.is_Opaque:
         return OpaqueError(obj=error.obj)
     elif error.is_OpaqueWithText:
-        return OpaqueErrorWithText(obj=error.obj, obj_message=error.objMessage)
+        return OpaqueWithTextError(
+            obj=error.obj, obj_message=_dafny.string_of(error.objMessage)
+        )
     elif error.is_CollectionOfErrors:
         return CollectionOfErrors(
             message=_dafny.string_of(error.message),
@@ -372,10 +375,30 @@ def _deserialize_error(error: Error) -> ServiceError:
             aws_cryptography_keystore_deserialize_error(error.AwsCryptographyKeyStore)
         )
     elif error.is_ComAmazonawsKms:
-        return ComAmazonawsKms(message=_dafny.string_of(error.ComAmazonawsKms.message))
+        if hasattr(error.ComAmazonawsKms, "objMessage"):
+            return ComAmazonawsKms(
+                message=_dafny.string_of(error.ComAmazonawsKms.objMessage)
+            )
+        elif hasattr(error.ComAmazonawsKms, "Message"):
+            return ComAmazonawsKms(
+                message=_dafny.string_of(error.ComAmazonawsKms.Message)
+            )
+        else:
+            return ComAmazonawsKms(
+                message=_dafny.string_of(error.ComAmazonawsKms.message)
+            )
     elif error.is_ComAmazonawsDynamodb:
-        return ComAmazonawsDynamodb(
-            message=_dafny.string_of(error.ComAmazonawsDynamodb.message)
-        )
+        if hasattr(error.ComAmazonawsDynamodb, "objMessage"):
+            return ComAmazonawsDynamodb(
+                message=_dafny.string_of(error.ComAmazonawsDynamodb.objMessage)
+            )
+        elif hasattr(error.ComAmazonawsDynamodb, "Message"):
+            return ComAmazonawsDynamodb(
+                message=_dafny.string_of(error.ComAmazonawsDynamodb.Message)
+            )
+        else:
+            return ComAmazonawsDynamodb(
+                message=_dafny.string_of(error.ComAmazonawsDynamodb.message)
+            )
     else:
         return OpaqueError(obj=error)