m

Author: lucasmcdonald3

TestVectors/runtimes/net/Generated/DDBEncryption/DynamoDbEncryptionShim.cs

@@ -62,7 +62,7 @@ private software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.type
                       Dafny.Sequence<char>.FromString(collectionOfErrors.Message)
                     );
                 default:
-                    return new software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_Opaque(error);
+                    return new software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_Opaque(error, Dafny.Sequence<char>.FromString(error.ToString()));
 
             }
         }

TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs

@@ -1604,12 +1604,12 @@ public static software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafn
                     );
                 // OpaqueError is redundant, but listed for completeness.
                 case OpaqueError exception:
-                    return new software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_Opaque(exception);
+                    return new software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_Opaque(exception, Dafny.Sequence<char>.FromString(exception.ToString()));
                 case System.Exception exception:
-                    return new software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_Opaque(exception);
+                    return new software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_Opaque(exception, Dafny.Sequence<char>.FromString(exception.ToString()));
                 default:
                     // The switch MUST be complete for System.Exception, so `value` MUST NOT be an System.Exception. (How did you get here?)
-                    return new software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_Opaque(value);
+                    return new software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_Opaque(value, Dafny.Sequence<char>.FromString(value.ToString()));
             }
         }
     }